package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.6.2.tbz
sha256=0431382f9a9865f68cb7ee898af34124868919e0d27f913e2b0d567ab6bf5859
sha512=7c5dec6a47a648c626c9cfc2abd36a02ec9fd34239cd6b8e672d979209005a11499a94511fab46e2d903eec64b4496697f5b5a93ae2522b2c9e0a581860a8287
doc/elpi.parser/Elpi_parser/Ast/Clause/index.html
Module Ast.ClauseSource
Source
val pp :
(Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'attributes ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'spill ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'deterministic ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
('term, 'attributes, 'spill, 'deterministic) t ->
Ppx_deriving_runtime.unitSource
val show :
(Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'attributes ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'spill ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter ->
'deterministic ->
Ppx_deriving_runtime.unit) ->
('term, 'attributes, 'spill, 'deterministic) t ->
Ppx_deriving_runtime.stringSource
val compare :
('term -> 'term -> Ppx_deriving_runtime.int) ->
('attributes -> 'attributes -> Ppx_deriving_runtime.int) ->
('spill -> 'spill -> Ppx_deriving_runtime.int) ->
('deterministic -> 'deterministic -> Ppx_deriving_runtime.int) ->
('term, 'attributes, 'spill, 'deterministic) t ->
('term, 'attributes, 'spill, 'deterministic) t ->
Ppx_deriving_runtime.int