def true_defect

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

import Base

1108def true_defect(r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
1109  match r p:
1110    case RBool{True{}} _:
1111      None{}
1112    case RBool{False{}} Nil{}:
1113      Some{NotTrue{}}
1114    case x Nil{}:
1115      Some{missing_or(x, NotTrue{})}
1116    case x st <> q:
1117      None{}