def nat_defect

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

import Base

1083def nat_defect(r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
1084  match r p:
1085    case RNum{n} _:
1086      None{}
1087    case x Nil{}:
1088      Some{missing_or(x, NotNat{})}
1089    case x st <> q:
1090      None{}