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

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml42 val is_minimal: 'a T -> key -> bool value
192 fun is_minimal G x = Keys.is_empty (imm_preds G x); function
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml3329 val is_minimal = not force_minimal orelse not (has_subterm (fn t => value

Completed in 26 milliseconds