def bool_case

bendtorch-core@0.1.0.0 · src/shape/core.bend:515

import Base

515def bool_case(+value: Bool) -> BoolCase<value>:
516  match value:
517    case True{}:
518      BTrue{{==}}
519    case False{}:
520      BFalse{{==}}