Go backward to E.1.3 NAT
Go up to E.1 Specifications from the Bremen Proposal
Go forward to E.1.5 SIG2
E.1.4 SIG1
- spec
- Sig1[Elem] =
- free
-
- {
-
- type
-
Set[Elem] ::=
{}
| {|__|}(Elem)
| __ union __(Set[Elem]; Set[Elem])
- op
- __ union __ : Set[Elem] × Set[Elem] -> Set[Elem], assoc, unit {}
- }
-
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk