package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a
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