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

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLexis.sig6 val alphabet : Word8Array.array value
H A DLexis.sml44 val alphabet = Word8Array.array(128,bzero); value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sig15 val alphabet : char list value
H A DRegexp_Type.sml18 val alphabet = map Char.chr alphabetN; value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DregexpMatch.sml34 val alphabet = List.tabulate(MAX_ORD + 1, Char.chr) value

Completed in 101 milliseconds