Searched defs:enum (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml216 fun enum vars t lits' deps lvi = let function
/seL4-l4v-10.1.1/HOL4/src/proofman/
H A DManager.sml145 val enum = List.rev o Lib.enumerate 1; value
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml629 fun enum [] _ A = A function

Completed in 51 milliseconds