diff options
| author | Pierre-Marie Pédrot | 2017-07-25 12:27:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-25 14:45:09 +0200 |
| commit | 5748cd3a913eec7a24600715fc9b71044a7c38b1 (patch) | |
| tree | 0fbb156abb33275e86a53cdb1e4474a7d8415fd8 /src/tac2stdlib.ml | |
| parent | 41cea8603b35a1af405650d8a2b9aaa89a445367 (diff) | |
Generalizing patterns in fun bindings.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions