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

/seL4-l4v-master/HOL4/src/parse/
H A Dparse_type.sml213 val {suffixes,infixes = rules} = G value
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml676 val suffixes = ref ["", ".ML", ".sml", ".sig"] value
1199 val suffixes = suffixes an value
[all...]

Completed in 43 milliseconds