def bool_defect

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

import Base

1013def bool_defect(r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
1014  match r p:
1015    case RBool{b} _:
1016      None{}
1017    case x Nil{}:
1018      Some{missing_or(x, NotBool{})}
1019    case x st <> q:
1020      None{}