diff options
| author | Hugo Herbelin | 2020-09-06 12:29:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-09-06 12:29:19 +0200 |
| commit | 48f465dd5c5f9db416a7cd57b0acb86f17323ce3 (patch) | |
| tree | 786abf0914b38c81891a5c7dd831fbbe84a058d5 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | b6e16a06b4b461d9149e6625925b38ff17a8977a (diff) | |
| parent | be494f51ec316f0e0af424d3febc1bd100112040 (diff) | |
Merge PR #12976: Remove clenv chaining in Equality
Reviewed-by: herbelin
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions