Searched refs:pp (Results 1 - 25 of 209) sorted by relevance

123456789

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dglobals_in_record.c21 int *pp = &zozo; local
23 *pp = *pp + 1;
24 return *pp;
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DPrint.sig21 type 'a pp = 'a -> ppstream
33 val ppPpstream : ppstream pp
68 val ppWord : word pp
82 val ppBreak : break pp
100 val ppMap : ('a -> 'b) -> 'b pp -> 'a pp
102 val ppBracket : string -> string -> 'a pp -> 'a pp
106 val ppOp2 : string -> 'a pp -> 'b pp
[all...]
H A DName.sig39 val pp : name Print.pp value
H A DNameArity.sig45 val pp : nameArity Print.pp value
H A DUnits.sig27 val pp : units Print.pp value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sig21 type 'a pp = 'a -> ppstream
33 val ppPpstream : ppstream pp
68 val ppWord : word pp
82 val ppBreak : break pp
100 val ppMap : ('a -> 'b) -> 'b pp -> 'a pp
102 val ppBracket : string -> string -> 'a pp -> 'a pp
106 val ppOp2 : string -> 'a pp -> 'b pp
[all...]
H A DName.sig39 val pp : name Print.pp value
H A DNameArity.sig45 val pp : nameArity Print.pp value
/seL4-l4v-10.1.1/l4v/misc/scripts/
H A Dcpp17 llvm-gcc -Wno-invalid-pp-token -E -x c $@
/seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/proj1paper/
H A DppScript.sml5 val _ = new_theory "pp";
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DInt_Graph.sml4 val pp = HOLPP.add_string o Int.toString value
H A DInttab.sml4 fun pp i = HOLPP.add_string (Int.toString i) function
H A DSymtab.sml4 val pp = HOLPP.add_string o Portable.mlquote value
H A DSymreltab.sml4 fun pp (s1,s2) = function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DKNametab.sml4 val pp = HOLPP.add_string o KernelSig.name_toString value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibHeap.sig19 val pp : 'a mlibUseful.pp -> 'a heap mlibUseful.pp value
H A DmlibMeter.sig9 type 'a pp = 'a mlibUseful.pp
15 val pp_limit : limit pp
22 val pp_meter_reading : meter_reading pp
33 val pp_meter : meter pp
H A DmlibUnits.sig9 type 'a pp = 'a mlibUseful.pp
23 val pp_units : units pp
H A DmlibLiteralnet.sig9 type 'a pp = 'a mlibUseful.pp
32 val pp_literalnet : 'a pp -> 'a literalnet pp
H A DmlibTermnet.sig9 type 'a pp = 'a mlibUseful.pp
31 val pp_termnet : 'a pp -> 'a termnet pp
H A DmlibUseful.sig142 type 'a pp = 'a Parse.pprinter
144 val pp_map : ('a -> 'b) -> 'b pp -> 'a pp
145 val pp_bracket : string -> string -> 'a pp -> 'a pp
146 val pp_sequence : string -> 'a pp -> 'a list pp
147 val pp_binop : string -> 'a pp -> 'b pp -> ('a * 'b) pp
[all...]
H A DmlibSubsume.sig9 type 'a pp = 'a mlibUseful.pp
34 val pp_subsume : 'a subsume pp
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml426 | pp_alphs s pp (h :: t) =
427 (add_string pp h;
428 app (fn a => (add_string pp s; add_break pp (1,0); add_string pp a)) t);
430 fun pp_condition pp (Leaf (i,_)) =
431 add_string pp ("state = " ^ Int.toString i ^ ";")
432 | pp_condition pp (Branch (c,a,b)) =
433 (begin_block pp CONSISTENT 0;
434 begin_block pp CONSISTEN
[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig297 type 'a pp = ppstream -> 'a -> unit
301 val pp_map : ('a -> 'b) -> 'b pp -> 'a pp
303 val pp_bracket : string -> string -> 'a pp -> 'a pp
305 val pp_sequence : string -> 'a pp -> 'a list pp
307 val pp_binop : string -> 'a pp -> 'b pp -> ('a * 'b) pp
[all...]
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dstruct2.c78 unsigned pp, np; local
86 pp = bb(the_ws);
87 if(pp)
88 ff(&((struct sc *)(pp))->ws, ((unsigned int)d));

Completed in 102 milliseconds

123456789