def Parser.Attr.bdd_nvars : Lean.ParserDescr

A simp attribute that is used in BDD.lean to infer the size of BDDs during evaluation.

Equations

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

def Parser.Attr.bdd_nvars_proc : Lean.ParserDescr

Simplification procedure

Equations

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