Searched defs:minus (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DINTSETSIG.sml26 val minus: intSet * intSet -> intSet value
H A DIntSet.sml58 fun minus(IntSet a, IntSet b) = IntSet(minusLists(a, b)) function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml27 fun minus [x] = [("+",x)] function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml27 fun minus [x] = [("+",x)] function
/seL4-l4v-10.1.1/HOL4/src/float/
H A DieeeScript.sml159 val minus = new_definition ( value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig123 val minus : string value
H A DUnicodeChars.sml139 val minus = U 0x2212 value
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml701 val minus = GSYM binary_ieeeTheory.float_minus_infinity value

Completed in 127 milliseconds