package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-2.0.7.tbz
sha256=80233ebd92babd696148ed553238961ec7b6de6bf157045aae1c7090840aeded
sha512=00c9ec01fabde9db1de4a58cb37480035e6f926d83b8360553419bcb99e9199f0720dde975f97ac9942ce528884d3d59d025cfbd471f12d57547429f15684d49
doc/src/elpi.compiler/elpi_compiler.ml.html
Source file elpi_compiler.ml
1 2 3 4 5 6 7 8 9 10 11 12 13(* generated by dune *) (** @canonical Elpi_compiler.Compiler *) module Compiler = Elpi_compiler__Compiler (** @canonical Elpi_compiler.Compiler_data *) module Compiler_data = Elpi_compiler__Compiler_data (** @canonical Elpi_compiler.Determinacy_checker *) module Determinacy_checker = Elpi_compiler__Determinacy_checker (** @canonical Elpi_compiler.Type_checker *) module Type_checker = Elpi_compiler__Type_checker