def no_rule

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

import Base

1030def no_rule(tag: Nat, r: Raw) -> Maybe<&2, Err>:
1031  None{}