Searched defs:ord (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DInt_Graph.sml3 val ord = Int.compare value
H A DInttab.sml3 val ord = Int.compare value
H A DSymreltab.sml3 val ord = Portable.pair_compare (String.compare, String.compare) value
H A DSymtab.sml3 val ord = String.compare value
H A DTable.sml11 val ord: key * key -> order value
[all...]
H A DGraph.sml368 val ord = String.compare value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DKNametab.sml3 val ord = KernelSig.name_compare value
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DStringChar.sml27 val ord = FixedInt.toInt o ord value
54 val ord : char -> int = Char.ord value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSML90.sml44 val ord : string -> int value
80 fun ord "" = raise Ord | ord s = Char.ord(String.sub(s, 0)) function
H A DStringSignatures.sml28 val ord : char -> int value
H A DString.sml146 val ord: char -> int = RunCall.unsafeCast value
1694 val ord : char -> int = Char.ord value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DL3.sig23 val ord : char -> IntInf.int value
H A DL3.sml69 val ord = IntInf.fromInt o Char.ord value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml150 val ord = task_ord value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmetisTools.sml372 fun ord _ [] state = state function

Completed in 275 milliseconds