def Claimed
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
1056# The runner, the claim fuel left, and the first error.
1057def Claimed(-A: Data) -> Type:
1058 Runner<A> & Nat & Out(Unit)
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
1056# The runner, the claim fuel left, and the first error.
1057def Claimed(-A: Data) -> Type:
1058 Runner<A> & Nat & Out(Unit)