Searched defs:ident (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParseDatatype.sml109 fun ident qb = function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DSymsetSig.sml28 val ident: symset; value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DgrammarLib.sml222 fun ident s = lex ident0 s function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml1653 val { ident = { name, location, ... }, ... } = dec; value
1700 val { ident = ident, args, constraint, ... } = dec value

Completed in 97 milliseconds