next node: PrettyPrint,
prev node: PrettyPrintStreamBuiltin,
up to node: User Subsystem : Reflections


StandardOrderBuiltin

Warning: This structure has not been fully tested, and may contain errors.

Signature of StandardOrderBuiltin

List of Import References :
See Method
See Reflection

SIGNATURE StandardOrderBuiltin

IMPORT Map ONLY map
       Method[sto, bool] ONLY method : SORT
       Nat ONLY nat
       Seq ONLY seq
       Set ONLY set
       Reflection ONLY type : SORT value : SORT

TYPE sto == =(x : value, y : value)
            <(x : value, y : value)

FUN nat : sto -> bool

FUN map : method -> method
FUN seq : method -> method
FUN set : method -> method

FUN default : method


next node: PrettyPrint,
prev node: PrettyPrintStreamBuiltin,
up to node: User Subsystem : Reflections