module StrSet : Set.S with type elt = string
type flags = {
  1. defined_variables : StrSet.t;
  2. allow_untyped_builtin : bool;
}
val default_flags : flags
type program
type query
type executable
val program : Setup.program_header -> Ast.program list -> program
val query : program -> Ast.query -> query
val static_check : Setup.program_header -> ?checker:Ast.program list -> ?flags:flags -> query -> bool

Runs elpi-checker.elpi by default.

val dummy_header : Setup.program_header

HACK: don't use