def checked

ezx@1.11.0.0 · src/ez/ends.bend:64

import ezx@1.11.0.0/src/ez/ends.bend as Ends
import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

64# `ez check`
65def checked(+out: String) -> P.Outcome:
66  outcome.of(check.passed(out))

Uses (4)

Used by (1)