Searched defs:toHexString (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMD5.sig15 val toHexString : Word8Vector.vector -> string value
H A DArbnumcore.sig23 val toHexString : num -> string value
H A DArbnumcore.sml32 fun toHexString x = fmt StringCvt.HEX x function
H A DMD5.sml217 fun toHexString v = let function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DIntExtra.sig10 val toHexString : IntInf.int -> string value
H A DIntExtra.sml8 val toHexString = IntInf.fmt StringCvt.HEX value
H A DBitstring.sig25 val toHexString: bitstring -> string value
H A DNat.sig24 val toHexString: nat -> string value
H A DNat.sml22 val toHexString = IntExtra.toHexString value
H A DBitstring.sml118 val toHexString = value
H A DBitsN.sig34 val toHexString: nbit -> string value
H A DBitsN.sml34 fun toHexString (B (i, _)) = IntExtra.toHexString i function
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/
H A DArbnumcore.sig23 val toHexString : num -> string value
H A DArbnumcore.sml475 val toHexString = toBaseString (fromInt 16) value
/seL4-l4v-10.1.1/HOL4/src/emit/MLton/
H A DnumML.sml133 val toHexString = LargeInt.fmt StringCvt.HEX value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A Dbasis_emitScript.sml261 \ val toHexString = toBaseString\n\ value

Completed in 55 milliseconds