Widens a state type so a probe may fill in only the slots a check is concerned with, at any nesting depth: every
property becomes optional and read-only, arrays keep their arity and element structure, and primitives are carried
over unchanged. Accepted by includes and
excludes to state a targeted subset of facts rather than a whole state.
A recursively optional view of a resource state.
Widens a state type so a probe may fill in only the slots a check is concerned with, at any nesting depth: every property becomes optional and read-only, arrays keep their arity and element structure, and primitives are carried over unchanged. Accepted by includes and excludes to state a targeted subset of facts rather than a whole state.