Go up to E.1 Simple Structured Specifications
Go forward to E.1.2 Monoid
E.1.1 Partial_Order
- spec
- Partial_Order =
- sort
- Elem
- pred
- __ < __ : Elem ×Elem
- vars
- x,y,z : Elem
- ·
- x < x
- ·
- x=y if x < y /\ y < x
- ·
- x < z if x < y /\ y < z
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk