Prev Up Next
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

: 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.

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

Prev Up Next