package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-3.0.0.tbz
sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1
sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16
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