def Aesop.LocalRuleSet.mkInitialForwardState (goal : Lean.MVarId) (rs : LocalRuleSet) : BaseM (ForwardState × Array ForwardRuleMatch)

Equations

• One or more equations did not get rendered due to their size.