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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMultithreading.sml12 val relevant: 'a list -> bool value
49 val relevant = (fn [] => false | [_] => false | _ => enabled ()); value
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml107 fun relevant {file, ...} = file=strName function
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml359 fun relevant (tm,_) = known_fun tm; function

Completed in 41 milliseconds