def Restrict.orestrict {n m : ℕ} (b : Bool) (i : Fin n) (O : OBdd n m) : (s : ℕ) × { W : OBdd n s // W.evaluate = Nary.restrict O.evaluate b i }

Equations

• One or more equations did not get rendered due to their size.