diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-11-15 09:16:20 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-15 15:16:20 +0000 |
| commit | 94c4d5b54e7840fa36d76e7c3d52e19c31a1dbc1 (patch) | |
| tree | 806216cf8f01a1527e9e9f02cc0754f458709406 /src/proof/lfsc | |
| parent | f5b8f74ec2f7297cd54e19459f039416df67f862 (diff) | |
Add documentation for theory_bags_type_rules.h (#7642)
This PR adds documentation for theory_bags_type_rules.h, and updates the type rule for rel.join_image to ensure tuple elements in the binary relation have the same sort.
Diffstat (limited to 'src/proof/lfsc')
0 files changed, 0 insertions, 0 deletions