ГОСТ Р ИСО.МЭК ТО 10023—93
POFourTuple. которые являются кортежами общего вида, расши
ренными частичной упорядоченностью.
type GencraNdcntificr
is Boolean
sorts
Identifier
opns
Someldentifier : — > Identifier
Anotherldentifier : Identifier — > Identifier
-eq_.-ne~: Identifier, Identifier
— > Bool
cqns
forall
a, al:Identifier
ofsort Bool
Someldentifier eq SomeIdentifier = true;
Anotherldentifier (a) eq Someldentifier-false;.
Someldentifier eq Anotherldentifier(a)—false;
Anotherldentifier(a) eq Anotherldentifier (a 1) = a eq
al; a ne a I = not(a eq al);
endtype (* Generalldentifier *)
type Element2
is Element renamedby
sortnames
Element2 for Element
endtype (* Element2 *)
type Element3
is Element renamedby
sortnames
EIement3 for Element
endtype (* Elemenl3
*)
type Elcment4
is Element renamedby
sortnames
Elcmcnt4 for Element
endtype (• Element4 *)
type Pair
is Boolean, Element. Element2
sorts