Searched defs:es (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/
H A Dselftest.sml13 val es = empty Int.compare value
/seL4-l4v-master/HOL4/src/TeX/
H A DEmitTeX.sml590 val es = prefix ^ tex_command_escape s value
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlTreeNeuralNetwork.sml154 val es = String.substring (vs,n1,ntot-n1) value
/seL4-l4v-master/HOL4/src/quantHeuristics/
H A DquantHeuristicsScript.sml989 val es = mk_e [] n value
/seL4-l4v-master/HOL4/examples/decidable_separationLogic/src/
H A Ddecidable_separationLogicLib.sml207 val es = inst [alpha |-> el 1 typeL, beta |-> el 2 typeL] ``dse_nil:('a, 'b) ds_expression``; value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml
H A DutilsLib.sml1048 val es = List.map (fn s => s ^ "_def") names value

Completed in 99 milliseconds