Searched defs:setl (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/HolBdd/ | ||
| H A D | PrimitiveBddRules.sml | 820 val setl = List.map value |
| H A D | DerivedBddRules.sml | 901 val setl = List.map value |
Completed in 48 milliseconds