- declNameNonRec : Name
- argsPacker : Meta.ArgsPacker
- fixedParamPerms : FixedParamPerms
Instances For
def
Lean.Elab.WF.registerEqnsInfo
(preDefs : Array PreDefinition)
(declNameNonRec : Name)
(fixedParamPerms : FixedParamPerms)
(argsPacker : Meta.ArgsPacker)
: