used by Carcara.
Addresses #45
Pipeline #44202 passed
Pipeline passed for abcbcf05 on add/or_intro 7 months ago
Pipeline #44222 passed
Pipeline passed for 3b9e0708 on master 7 months ago
changed the description
merged
mentioned in commit 3b9e0708