Searched defs:toString (Results 1 - 25 of 155) sorted by relevance

1234567

/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryDelta.sml19 fun toString t = function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dqbuf.sig16 val toString : 'a qbuf -> string value
H A Dbase_tokens.sig9 val toString : 'a base_token -> string value
H A DParseDatatype_dtype.sml37 val toString = pr (str, dtF_toString) value
H A Dbase_tokens.sml11 fun toString (BT_Ident s) = s function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DSourcePos.sig24 val toString: t -> string value
H A DSourcePos.sml46 fun toString (p as T {column, line, ...}) = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DAlgebra.sig36 val toString : expression -> string value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A Dlocn.sig33 val toString : locn -> string value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig31 val toString : 'a atomNet -> string value
H A DAtomNet.sml42 fun toString net = "AtomNet[" ^ Int.toString (size net) ^ "]"; function
H A DHeap.sig29 val toString : 'a heap -> string value
H A DHeap.sml74 fun toString h = function
H A DLiteralNet.sig33 val toString : 'a literalNet -> string value
H A DLiteralNet.sml48 fun toString net = "LiteralNet[" ^ Int.toString (size net) ^ "]"; function
H A DName.sig41 val toString : name -> string value
H A DProblem.sig30 val toString : problem -> string value
H A DProof.sig59 val toString : proof -> string value
H A DSubsume.sig25 val toString : 'a subsume -> string value
H A DTermNet.sig33 val toString : 'a termNet -> string value
H A DUnits.sig25 val toString : units -> string value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBool.sml27 val toString : bool -> string value
70 fun toString true = "true" function
H A DIEEE_REAL.sml42 val toString : decimal_approx -> string value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig31 val toString : 'a atomNet -> string value
H A DAtomNet.sml42 fun toString net = "AtomNet[" ^ Int.toString (size net) ^ "]"; function

Completed in 192 milliseconds

1234567