diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-11-08 17:13:27 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-08 23:13:27 +0000 |
| commit | e398f79c61304378cc736828632a462c74ce39d2 (patch) | |
| tree | 7e06f2d70f4185337de34cb8edb73923193701b5 /docs/_static/custom.css | |
| parent | 89dfd279d8786c54c35ff8f5e2802ec51a59a969 (diff) | |
expand bag.choose operator (#7481)
This PR expands bag.choose operator as a preprocessing step.
It also refactors the implementation of choose operator for sets
Diffstat (limited to 'docs/_static/custom.css')
0 files changed, 0 insertions, 0 deletions