Cross Reference: NatEx.hascasl
xref
: /
sssd
/
src
/
providers
/
ipa
/
ipa_opts.h
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
NatEx.hascasl revision b5b03751832cc37eb5be9409d9efba4882935611
free type Nat ::= Zero | Suc (prec : Nat)
op f(x:Nat):Nat = Suc x