Cross Reference: NatEx.hascasl
xref
: /
hets
/
LF
/
Sign.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
free type Nat ::= Zero | Suc (prec : Nat)
op f(x:Nat):Nat = Suc x