The set of env record names that admit at least one finite document.
Least fixpoint: start with nothing known-satisfiable and repeatedly add
any record all of whose mandatory (min >= 1) fields are already
satisfiable (a bare scalar/any, or a ref to an already-satisfiable
record). Monotonic on a finite env, so this always terminates.
The set of env record names that admit at least one finite document.
Least fixpoint: start with nothing known-satisfiable and repeatedly add any record all of whose mandatory (
min >= 1) fields are already satisfiable (a bare scalar/any, or a ref to an already-satisfiable record). Monotonic on a finite env, so this always terminates.