| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | selftest.sml | 5 val pr = tprint value
179 fun pr (sgs, vf) = function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | ParseDatatype_dtype.sml | 19 fun pr (f1,f2) (a,b) = "(" ^ f1 a ^ "," ^ f2 b ^ ")" function
|
| H A D | Absyn.sml | 88 let val (pr as (varstruct,_)) = dpa tm value
|
| H A D | selftest.sml | 708 val pr = PP.pp_to_string 77 type_grammar.prettyprint_grammar value
747 fun pr NONE = "NONE" function
|
| H A D | term_grammar.sml | 1346 fun pr (pat,nm,f) = function
1687 val pr = debugprint G value
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | win-config.sml | 45 fun pr s = TextIO.output(ostrm, s) function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUnits.sml | 69 fun pr lit = function
|
| H A D | mlibTptp.sml | 236 fun pr x = output (h, x) function
[all...] |
| H A D | mlibTerm.sml | 252 fun pr (Fn (q, [Var v, tm])) = function
|
| H A D | folMapping.sml | 409 fun pr True = True function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Sequence.sml | 55 let fun pr (k,s) = function
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | HM_GraphBuildJ1.sml | 25 fun pr s = s function
|
| H A D | Holmake.sml | 878 fun pr s = s function
|
| H A D | basis2002.sml | 105 val pr = (i,sub(v,i)) value
238 val pr = (i,sub(v,i)) value
316 if i < sz then let val pr = (i, sub(a,i)) value
481 val pr value
920 val pr = (i,c) value
952 val pr = (i,c) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | hdr.sml | 48 val pr = fn out : TextIO.outstream => fn s : string => TextIO.output(out,s) value
51 let val pr = pr errStream value
58 let val pr value
[all...] |
| H A D | yacc.sml | 826 val pr = fn s => TextIO.output(result,s) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | NetHostDB.sml | 173 fun pr n i = function
|
| /seL4-l4v-10.1.1/HOL4/src/proofman/ |
| H A D | Manager.sml | 190 fun pr (PRFS extants) = function
|
| H A D | goalStack.sml | 260 val pr = lift Parse.pp_term value
362 fun pr (GSTK{prop = POSED g, stack = [], ...}) = function
|
| /seL4-l4v-10.1.1/HOL4/tools/trailing-wspace/ |
| H A D | trailingwspace.sml | 55 fun pr s = TextIO.output(TextIO.stdOut, s ^ "\n") function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64AssemblerLib.sml | 215 val pr = if p then pad else Lib.K Lib.I value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | PmatchHeuristics.sml | 273 fun pr ts = let function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | OldPP.sml | 659 fun pr [] = () function
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 432 fun pr s = s function
|
| /seL4-l4v-10.1.1/HOL4/src/meson/src/ |
| H A D | mesonLib.sml | 485 let val pr = fst g value
|