kdrag.utils.find_constructor

kdrag.utils.find_constructor(e: ExprRef | FuncDeclRef) → int

>>> find_constructor(kd.Nat.Z)
0
>>> find_constructor(kd.Nat.S(kd.Nat.Z))
1