Go backward to E.3 NAT
Go up to E Examples
Go forward to E.5 SIG2
E.4 SIG1
- spec
- Sig1[Elem] =
- free
-
- {
-
- type
-
Set[Elem] ::=
{}
| {|__|}(Elem)
| __ u __(Set[Elem]; Set[Elem])
- op
- __ u __ : Set[Elem]×Set[Elem] -> Set[Elem],
assoc, unit {}
- }
-
CoFI
Document: CASL/Summary-v1.0-DRAFT -- Version: 1.0 DRAFT -- 1 October 1998.
Comments to cofi-language@brics.dk