path: root/rego-proofs/compiler-rewrite/lib/compiler.mli

open Ast
open Lean

type environ

val extract_variables_wrapper : query -> (string list * string list)
val compile_package : package -> lean_expression list