Searched refs:print_string (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/machine/
H A Dio.c38 print_string(const char *s) function
222 n += print_string("(nil)");
224 n += print_string("0x");
232 n += print_string(va_arg(ap, char *));
/seL4-l4v-10.1.1/HOL4/src/1/
H A DMutual.sml40 val _ = print_string "MOVEQS\n"
181 let val _ = print_string "TACF: xs = "
184 val _ = print_string "vs = "
187 val _ = print_string "map (findx xs) vs = "
297 val _ = print_string "Repaired induction theorem:\n"
299 val _ = print_string "\n"
309 val _ = print_string "eta_th:\n"
311 val _ = print_string "\n"
319 val _ = print_string "ind:\n"
321 val _ = print_string "\
[all...]
H A Ddep_rewrite.sml163 val print_string = TextIO.print; value
164 fun print_newline() = print_string "\n";
166 | print_strings (t :: []) = print_string t
167 | print_strings (t :: ts) = (print_string t; print_string ",";
169 fun print_theorem th = (print_string (thm_to_string th); print_newline());
172 | print_terms (t :: ts) = (print_term t; print_string ","; print_terms ts);
175 in (print_string "["; print_terms ant; print_string "] |- ";
179 | print_theorems (t :: ts) = (print_theorem t; print_string "\
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dhead.S36 BEGIN_FUNC(print_string)
45 END_FUNC(print_string)
55 call print_string
184 call print_string
204 call print_string
224 call print_string
246 call print_string
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.h112 extern void print_string(PolyWord s);
H A Dpolystring.cpp322 void print_string(PolyWord s) function
H A Dxwindows.cpp7221 print_string((PolyStringObject*) P.AsObjPtr());
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml80 print_string ("Failure in Cond_rewrite: "^function^"\n")
105 ( (* if debug_matches then (print_string "SEARCH_matches: ";
122 ( (* if debug_matches then (print_string "SUB_matches: ";
137 (print_string "ONCE_DEPTH_matches: "; print_term tm; print_newline())
144 (print_string "ONCE_DEPTH_matches: "; print_term tm; print_newline())
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml83 print_string ("Failure in Cond_rewrite: "^function^"\n")
108 ( (* if debug_matches then (print_string "SEARCH_matches: ";
125 ( (* if debug_matches then (print_string "SUB_matches: ";
140 (print_string "ONCE_DEPTH_matches: "; print_term tm; print_newline())
147 (print_string "ONCE_DEPTH_matches: "; print_term tm; print_newline())
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dtactics.sml56 fun print_string s = TextIO.output(TextIO.stdOut,s); function
70 print_string "\n";
71 print_string ("CPU: usr: " ^ Time.toString usr ^ " s ");
72 print_string ( "sys: " ^ Time.toString sys ^ " s ");
73 print_string ( "gc: " ^ Time.toString gc ^ " s\n");
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dversion2.tex750 #let foo s = print_string `Hello: `; print_string s; print_newline();;
830 print_string `Typechecking ... `;
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dversion2.tex750 #let foo s = print_string `Hello: `; print_string s; print_newline();;
830 print_string `Typechecking ... `;
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml1087 fun print_string _ _ (s: string) = function
1091 val () = PolyML.addPrettyPrinter print_string

Completed in 168 milliseconds