Core.missing_or: def of bend-schema-lib@0.4.1.0 Import: import bend-schema-lib@0.4.1.0/core.bend as Core Lines 774-786 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=774&end_line=786 import Base # The reason a value that is not the shape is refused, at the place it was # found: an absent slot is Missing, a node the host refused to build (RTooBig) # is TooLarge, anything else is the schema kind's own reason. check and the # defect helpers both answer through here, so the reason a path reports is the # same one for both. def missing_or(r: Raw, w: Why) -> Why: match r: case RMissing{}: Missing{} case RTooBig{}: TooLarge{} case _: w Uses (2): https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Why