def build.go

ezx@1.11.0.0 · src/sha/nar.bend:422

import Base

422# the build, under fuel
423def build.go(fuel: Nat, mv: Move) -> Maybe<&2, String>:
424  match fuel:
425    case 0n:
426      None{}
427    case 1n+f:
428      match mv:
429        case Next{st}:
430          build.go(f, step(st))
431        case Built{node}:
432          Some{node}