Every constraint in the typestate system has to be mapped to a unique Semant.constr_key (see the comment next to that type for an explanation of why it exists) before anything else in the typestate system gets underway. Presently only a subset of possible constraint forms are mapped; the rest
fault. Complete the set of mappings.
Every constraint in the typestate system has to be mapped to a unique Semant.constr_key (see the comment next to that type for an explanation of why it exists) before anything else in the typestate system gets underway. Presently only a subset of possible constraint forms are mapped; the rest
fault. Complete the set of mappings.