Mathlib.Meta.FunProp.FunPropDecl →
  Lean.Expr →
    (Lean.Expr → Mathlib.Meta.FunProp.FunPropM (Option Mathlib.Meta.FunProp.Result)) →
      Mathlib.Meta.FunProp.FunPropM (Option Mathlib.Meta.FunProp.Result)