diff options
| author | Pierre-Marie Pédrot | 2020-08-11 20:01:46 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-11 20:03:07 +0200 |
| commit | 5aebae7d1762ad44b358f448c9ddc02de3a01f94 (patch) | |
| tree | 1ccc5ec207f977b56b9d24027ab1c53314617091 /dev/header.py | |
| parent | 1d6c794956b962294db765e624b58e531e2f970a (diff) | |
Move reduce_mind_case from Reductionops to Tacred.
It was only used there, and its API required to export an ad-hoc type
to represent pattern-matchings.
Diffstat (limited to 'dev/header.py')
0 files changed, 0 insertions, 0 deletions