Searched defs:chr (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DStringChar.sml26 val chr = chr o FixedInt.fromInt value
55 val chr : int -> char = Char.chr value
/seL4-l4v-master/HOL4/src/portableML/
H A DUTF8.sig14 val chr : int -> string (* May raise Chr *) value
H A DUTF8.sml10 fun chr i = function
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h93 int putCharQ(int chr) { // Quick version with minimal overhead : don't call this in wrong mode! argument
106 int putChar(int chr) { argument
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmkprstruct.sml52 val chr = value
/seL4-l4v-master/HOL4/polyml/basis/
H A DSML90.sml45 val chr : int -> string value
82 fun chr i = str(Char.chr i) function
H A DStringSignatures.sml29 val chr : int -> char value
H A DString.sml142 fun chr i : char = function
1695 val chr : int -> char = Char.chr value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DL3.sig8 val chr : IntInf.int -> char value
H A DL3.sml68 val chr = Char.chr o IntInf.toInt value

Completed in 76 milliseconds