diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/compiler.mli')
| -rw-r--r-- | rego-proofs/compiler-rewrite/lib/compiler.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rego-proofs/compiler-rewrite/lib/compiler.mli b/rego-proofs/compiler-rewrite/lib/compiler.mli index 58a9c14..0bef961 100644 --- a/rego-proofs/compiler-rewrite/lib/compiler.mli +++ b/rego-proofs/compiler-rewrite/lib/compiler.mli @@ -9,4 +9,5 @@ type analysis_result = used : string list } val extract_variables_wrapper : query -> analysis_result +val transform_rule_with_ref_head : rule -> rule list val compile_package : package -> lean_expression list |