def code
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
764# the status a plan ends with
765def code(pl: Plan) -> U32:
766 Plan{_es, o} = pl
767 status(o)
Uses (3)
Used by (0)
No other definition uses this definition.
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
764# the status a plan ends with
765def code(pl: Plan) -> U32:
766 Plan{_es, o} = pl
767 status(o)
No other definition uses this definition.