diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2017-01-31 09:55:51 +0100 |
|---|---|---|
| committer | Matej Košík <matej.kosik@inria.fr> | 2017-04-10 13:16:57 +0200 |
| commit | 470d0d56467a3a587dc34f958ffea8259618d1ae (patch) | |
| tree | 0994065d774a9bf8faf9280381aba4a6805d9cce /pretyping/redops.mli | |
| parent | 7b32d8454ded5497d677d5dbcc665aacb6725e6b (diff) | |
refactoring: Reductionops.contextual_reduction_function type
Diffstat (limited to 'pretyping/redops.mli')
0 files changed, 0 insertions, 0 deletions