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.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