Documentation

Aesop.Script.Util

@[specialize #[]]
def Aesop.Script.findFirstStep? {α β : Type} (goals : Array α) (step? : αOption β) (stepOrder : βNat) :
Option (Nat × α × β)
Equations
    Instances For
      Equations
        Instances For