def require

bend-kit-protobuf@0.2.0.0 · protobuf.bend:759

import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobuf
import Base

759def require(ok: Bool, e: Error) -> Result<&2, &1, Error, Unit>:
760  match ok:
761    case False{}:
762      Fail{e}
763    case True{}:
764      Done{Unit{}}

Uses (4)

Used by (1)