Searched defs:print_type (Results 1 - 6 of 6) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dtactics.sml54 val print_type = Hol_pp.print_type; value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sml179 val print_type = print o type_to_string value
H A DParse.sig210 val print_type : hol_type -> unit value
H A DHol_pp.sig20 val print_type : hol_type -> unit value
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDoc2Tex.sml87 fun print_type (ss, ostr) = function
H A DDoc2Txt.sml14 fun print_type strm ss = out(strm, Substring.string ss ^ "\n\n") function

Completed in 59 milliseconds