Warning: This structure has not been fully tested, and may contain errors.
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