diff options
| author | Son Ho | 2023-09-17 05:15:18 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-17 05:15:18 +0200 |
| commit | 47bc2ba74c90c1a29a081b8950022f74408f037e (patch) | |
| tree | f33aa9ec176637c6311686360ce113a186272078 /compiler/Substitute.ml | |
| parent | 296f97bb6a768ffd85f35db2762f2db4f7a357ad (diff) | |
Merge trans_ctx and decls_ctx
Diffstat (limited to 'compiler/Substitute.ml')
0 files changed, 0 insertions, 0 deletions