diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-21 09:11:57 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-21 14:11:57 +0000 |
commit | eeb78c833af50c49fd581704b03fd3c500360c3d (patch) | |
tree | 4e546205fb5d7495fd45c6fa5e76adc279abaecd /.github | |
parent | 0291f941d4a2bae49a80c3db4afe626b55636fdf (diff) |
Make cardinality constraint a nullary operator (#7333)
This makes cardinality constraints nullary operators. This eliminates hacks for supporting these previously.
It also removes an unimplemented kind CARDINALITY_VALUE.
Notice that the parser and printer now do not use a common syntax for cardinality constraints, this will be resolved on followup PRs.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions