def true_err

bend-schema-lib@0.4.1.0 · core.bend:795

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

795def true_err(b: Bool) -> Maybe<&2, Err>:
796  match b:
797    case True{}:
798      None{}
799    case False{}:
800      here(NotTrue{})

Uses (5)

Used by (1)

bend-schema-lib@0.4.1.0/core:check