package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.4.4.tbz
sha256=4af34d03205822448cbf7ae1c74c15bb62631dd19850ea9a17364a18130c79bb
sha512=2d8b3584cec046b92348bf12155d6a1e237ceb6c27c5d5e2fe2c5c3dfb532be809a1db65d0b1be96b82558044fe81fdd8b6472028b2993ba31eaf58b720811a1
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