instance Sim.instDecidableRobddHSimilar {n m m' : ℕ} (O : OBdd n m) (hO : O.Reduced) (U : OBdd n m') (hU : U.Reduced) : Decidable (O.HSimilar U)

Equations

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