Lean.Meta.Grind.ENode →
  Lean.Meta.Grind.ENode →
    (_ : Lean.Meta.Grind.SolverTerms) ×' Lean.Meta.Grind.SolverTerms →
      Lean.Meta.Grind.GoalM (Lean.Meta.Grind.SolverTerms × Lean.Meta.Grind.PendingSolverPropagationsData✝)