package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-3.0.0.tbz
sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1
sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16
doc/src/elpi.runtime/elpi_runtime.ml.html
Source file elpi_runtime.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19(* generated by dune *) (** @canonical Elpi_runtime.Bl *) module Bl = Elpi_runtime__Bl (** @canonical Elpi_runtime.Data *) module Data = Elpi_runtime__Data (** @canonical Elpi_runtime.Discrimination_tree *) module Discrimination_tree = Elpi_runtime__Discrimination_tree (** @canonical Elpi_runtime.Ptmap *) module Ptmap = Elpi_runtime__Ptmap (** @canonical Elpi_runtime.Runtime *) module Runtime = Elpi_runtime__Runtime (** @canonical Elpi_runtime.Runtime_trace_off *) module Runtime_trace_off = Elpi_runtime__Runtime_trace_off