Go backward to E.2.8 File
Go up to E.2 Generic Structured Specifications
Go forward to E.2.10 Nat_List_with_Order
E.2.9 List_of_List_of_List_of_Nat
- view
- Nat_as_Elem
: Elem to Nat =
Elem |-> Nat
- view
- List_as_Elem [Elem]
: Elem to List [Elem] =
Elem |-> List[Elem]
- spec
- List_of_List_of_List_of_Nat =
List
[view List_as_Elem
[view List_as_Elem
[view Nat_as_Elem]]]
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk