Searched defs:tok (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPEGParse.sig[all...]
H A DPEGParse.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegML.sml[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_tokens.sml162 val (tok,locn') = split_ident mixedset value
267 val (tok,locn') = split s locn qbfns value
H A Dterm_pp.sml904 val tok = case lambda' of value
1427 val tok = case hd lst of value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml1101 datatype tok = lam | id of int | app of int type
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml[all...]

Completed in 192 milliseconds