package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-2.0.7.tbz
sha256=80233ebd92babd696148ed553238961ec7b6de6bf157045aae1c7090840aeded
sha512=00c9ec01fabde9db1de4a58cb37480035e6f926d83b8360553419bcb99e9199f0720dde975f97ac9942ce528884d3d59d025cfbd471f12d57547429f15684d49
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