package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.1.0.tbz
sha256=beea3f0c443c4e575a47fce4b2cc7df9c033cb579fb7e56c0963f0655bfe6942
sha512=7cbeeec1a051612ee30800d3d950c2e124194d79d47ff304f5096b7856eca389140b2fa4907da23040386f1c1b4eb3347ce60672c42a29b1820b65c6c1725c33
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 14 15 16(* 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.Spilling *) module Spilling = Elpi_compiler__Spilling (** @canonical Elpi_compiler.Type_checker *) module Type_checker = Elpi_compiler__Type_checker