Searched defs:echo (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml283 fun echo s = (TextIO.output(TextIO.stdOut, s^"\n"); function
[all...]
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dconfigure.sml56 fun echo s = (TextIO.output(TextIO.stdOut, s^"\n"); function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sig24 val echo : int -> string -> unit value
H A DhelperLib.sml52 fun echo level msg = function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml463 val echo : flags value
1547 val echo = getConst 107 value

Completed in 187 milliseconds