Searched refs:mlbdd_bdd_forall (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sml45 val forall_ : bdd -> varSet -> bdd = app2 (symb "mlbdd_bdd_forall")
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c506 EXTERNML value mlbdd_bdd_forall(value b1, value varset) /* ML */ function

Completed in 38 milliseconds