Go up to
E.3 Architectural Specifications
Go forward to
E.3.2 Num_Monoid
E.3.1 Num
spec
Num
=
sort
Num
ops
0 : Num;
succ : Num -> Num
end
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
