def count_present

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

import Base

1349def count_present(s: Schema, +r: Raw) -> Nat:
1350  match s:
1351    case SVariant{+n, vs, rest}:
1352      Nat.add(one_if_there(is_missing(lookup(n, r))), count_present(rest, r))
1353    case _:
1354      0n