Module API.Compile

module StrSet : sig ... end
type flags = {
  1. defined_variables : StrSet.t;
  2. print_units : bool;
  3. time_typechecking : bool;
  4. skip_det_checking : bool;
}
val default_flags : flags
val to_setup_flags : flags -> Setup.flags
type program
type query
type executable
exception CompileError of Ast.Loc.t option * string
val program : ?flags:flags -> elpi:Setup.elpi -> Ast.program -> program
type scoped_program
val scoped_program_name : scoped_program -> string
val scoped_program_digest : scoped_program -> Stdlib.Digest.t
val scoped_program_deps : scoped_program -> (string * Stdlib.Digest.t) list
val scope_ast : ?flags:flags -> elpi:Setup.elpi -> Ast.program -> scoped_program list
val scope_builtins : ?flags:flags -> elpi:Setup.elpi -> Setup.builtins -> scoped_program
type compilation_unit
val compilation_unit_name : compilation_unit -> string
val compilation_unit_digest : compilation_unit -> Stdlib.Digest.t
val compilation_unit_deps : compilation_unit -> (string * Stdlib.Digest.t) list
val pp_compilation_unit : Stdlib.Format.formatter -> compilation_unit -> unit
type compilation_unit_signature
val compilation_unit_signature_name : compilation_unit_signature -> string
val compilation_unit_signature_digest : compilation_unit_signature -> Stdlib.Digest.t
val empty_base : elpi:Setup.elpi -> program
val unit : ?flags:flags -> elpi:Setup.elpi -> base:program -> scoped_program -> compilation_unit
val extend : ?flags:flags -> base:program -> compilation_unit -> program
val extend_signature : ?flags:flags -> base:program -> compilation_unit_signature -> program
val map_compilation_unit : (Ast.Opaque.t -> Ast.Opaque.t) -> compilation_unit -> compilation_unit

map_compilation_unit f u applies f to every opaque data (CData) node in the unit

val query : program -> Ast.query -> query
val optimize : query -> executable
val total_type_checking_time : query -> float
val total_det_checking_time : query -> float
module IntervalTree : sig ... end
type type_
val pp_type_ : Stdlib.Format.formatter -> type_ -> unit
type info = {
  1. defined : Ast.Loc.t option;
  2. type_ : type_ option;
}
val pp_info : Stdlib.Format.formatter -> info -> unit