diff options
| author | Jakob L. Kreuze | 2023-10-31 13:23:25 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-10-31 13:23:25 -0400 |
| commit | b65d0fd86ca4a94364d16968b87729986967eb5c (patch) | |
| tree | faa5513c956b5e33bafcd9b736371476772f2e5c /rego-proofs/compiler-rewrite/lib/compiler.mli | |
| parent | 9f7517b7e38ab58feaab690f534ab74dbb06896b (diff) | |
No longer need to pass up local definitions
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/compiler.mli')
0 files changed, 0 insertions, 0 deletions