Array (Lean.Expr × Bool × ℕ) →
  Lean.Meta.LazyDiscrTree.ModuleDiscrTreeRef (Lean.Name × Lean.Meta.Rewrites.RwDirection) →
    Lean.Expr → optParam Lean.NameSet ∅ → Lean.MetaM (Array ((Lean.Expr ⊕ Lean.Name) × Bool × ℕ))