Searched defs:go (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/tools/quote-filter/ | ||
| H A D | mlton-quote-filter.sml | 22 fun go() = prepare (new (slave (input, out)), newstate out) function 31 val go : unit -> unit = value |
Completed in 50 milliseconds