Searched defs:is_name (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/CCS/ | ||
H A D | CCSSyntax.sig | 24 val is_name : term -> bool value |
H A D | CCSSyntax.sml | 65 val is_name = can arg_name; value |
Completed in 79 milliseconds