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

/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dyacc-grm-sig.sml41 val COLON: 'a * 'a -> (svalue,'a) token value
H A Dyacc-grm.sml865 fun COLON (p1,p2) = Token.TOKEN (ParserData.LrTable.T 5,( function
/seL4-l4v-master/l4v/tools/c-parser/tools/mlyacc/src/
H A Dyacc-grm-sig.sml44 val COLON: 'a * 'a -> (svalue,'a) token value
H A Dyacc-grm.sml866 fun COLON (p1,p2) = Token.TOKEN (ParserData.LrTable.T 5,( function

Completed in 122 milliseconds