package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c
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