diff options
| author | Gaëtan Gilbert | 2020-04-09 13:21:00 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-04-09 13:21:00 +0200 |
| commit | 75589e466c9f0ed62dd10fff6c1f7d284c7ffa89 (patch) | |
| tree | de1aca49cec2cc8dd4c71f26d53e0ade8490965b /plugins/funind/plugin_base.dune | |
| parent | 13e727ae9c7400ae0f2d9c2a5057c50e1d9b5858 (diff) | |
| parent | 2e8e25217abe62ebf0ed17c3ef6c48f595699433 (diff) | |
Merge PR #11534: Support universe bindings and universe constraints in Let definitions.
Reviewed-by: SkySkimmer
Diffstat (limited to 'plugins/funind/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions