diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-08-17 13:03:23 +0200 |
|---|---|---|
| committer | Thomas Refis <thomas.refis@gmail.com> | 2020-02-19 18:20:51 +0100 |
| commit | 0b3ea2f1473f5f495cfb87a7941a287081d622eb (patch) | |
| tree | 73e1d413643ac1c3d9ab2aeeea36c4b730bd6ef7 /lambda/lambda.mli | |
| parent | baade606ab1d5d9e84b7fd56ff44b26af2b733f2 (diff) | |
| download | ocaml-make_matching_cleanup.tar.gz | |
matching: factorize the make_*_matching functionsmake_matching_cleanup
Note: this commit makes a minor improvement to the location used to
force (lazy ..) arguments.
Diffstat (limited to 'lambda/lambda.mli')
0 files changed, 0 insertions, 0 deletions