package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.4.1.tbz
sha256=deb40fc3dd5d1c0aa9eb52931e4d54384aa1e6cc96ad9675575ff5784f1cc88f
sha512=71092d086b9ad72a5b6e08ecfa2fa896bd109730c1896ff0cfe7465be6d7dc5faff033e0bd518e450279925e38ac1cb254ce18f90235b3492508ce346a3d1efc
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