Lean.Expr →
  List Lean.FVarId →
    Bool →
      Lean.Meta.RefinedDiscrTree.LazyEntry →
        ReaderT Lean.Meta.RefinedDiscrTree.Context✝ Lean.MetaM
          (List (Lean.Meta.RefinedDiscrTree.Key × Lean.Meta.RefinedDiscrTree.LazyEntry))