Searched defs:digit (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibParser.sig56 val digit : char -> bool value
H A DmlibParser.sml238 val digit = Char.isDigit; value

Completed in 30 milliseconds