Go backward to E.2.9 List_of_List_of_List_of_Nat
Go up to E.2 Generic Structured Specifications
Go forward to E.2.11 Bounded_Nat_List
E.2.10 Nat_List_with_Order
- view
- Ordered_Nat_as_Partial_Order
: Partial_Order to Ordered_Nat =
Elem |-> Nat
%% Ordered_Nat_as_Partial_Order can be seen as
the requirement
%% that Ordered_Nat indeed
specifies a partial order. Thus defining the
%% view would be
significant even if the following instantiation were
%% to be
omitted.
- spec
- Nat_List_With_Order =
List_With_Order
[view Ordered_Nat_as_Partial_Order]
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk