Exception conversion to tuples #24
Description
Some exception reasons, and conversions are defined by lists (potentially in Auxiliaries.v and ProcessSemantics.v). Use tuples instead!
{{ message }}
Some exception reasons, and conversions are defined by lists (potentially in Auxiliaries.v and ProcessSemantics.v). Use tuples instead!