def require
import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobufimport 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{}}
import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobufimport 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{}}