package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install

dune-project
 Dependency

Authors

Maintainers

Sources

elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a

doc/elpi.compiler/Elpi_compiler/Compiler/index.html

Module Elpi_compiler.CompilerSource

Sourcetype flags = {
  1. defined_variables : Elpi_util.Util.StrSet.t;
  2. print_units : bool;
  3. time_typechecking : bool;
  4. skip_det_checking : bool;
}
Sourceval default_flags : flags
Sourcetype header
Sourcetype program
Sourceval program_of_ast : flags:flags -> header:header -> Elpi_parser.Ast.Program.t -> program
Sourcetype scoped_program
Sourceval scoped_of_ast : flags:flags -> header:header -> Elpi_parser.Ast.Program.t -> scoped_program
Sourcetype checked_compilation_unit
Sourcetype unchecked_compilation_unit
Sourceval empty_base : header:header -> program
Sourceval unit_of_scoped : flags:flags -> header:header -> ?builtins:builtins list -> scoped_program -> unchecked_compilation_unit
Sourceval append_unit : flags:flags -> base:program -> checked_compilation_unit -> program
Sourcetype checked_compilation_unit_signature
Sourceval signature_of_checked_compilation_unit : checked_compilation_unit -> checked_compilation_unit_signature
Sourceval append_unit_signature : flags:flags -> base:program -> checked_compilation_unit_signature -> program
Sourcetype query
Sourceval total_type_checking_time : query -> float
Sourceval total_det_checking_time : query -> float
Sourceval pp_program : (pp_ctx:Elpi_runtime.Data.pp_ctx -> depth:int -> Format.formatter -> Elpi_runtime.Data.term -> unit) -> Format.formatter -> program -> unit
Sourceval pp_goal : (pp_ctx:Elpi_runtime.Data.pp_ctx -> depth:int -> Format.formatter -> Elpi_runtime.Data.term -> unit) -> Format.formatter -> query -> unit
Sourceval pp_uvar_body_raw : Format.formatter -> Elpi_runtime.Data.uvar_body -> unit
Sourceval global_name_to_constant : Elpi_runtime.Data.State.t -> string -> Elpi_util.Util.constant
Sourcemodule IntervalTree : sig ... end
Sourcetype type_
Sourceval pp_type_ : Format.formatter -> type_ -> unit
Sourcetype info = {
  1. defined : Elpi_parser.Ast.Loc.t option;
  2. type_ : type_ option;
}
Sourceval pp_info : Format.formatter -> info -> unit
OCaml

Innovation. Community. Security.