Cross Reference: spec-pl.het
xref
: /
hets
/
Framework
/
test
/
spec-pl.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
logic PL
spec SP =
x : i.
f : i -> o.
. f x
end