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 /docs/CMakeLists.txt | |
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 'docs/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions