package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (9)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-1.18.2.tbz

sha256=bac398ba41d0fe1e1807196162b024313563366f7b86ae0802b23d6ef0f3cbf9

sha512=e9e9e14adf6ef929cd28516ddffdc67faafc7dbe683dce42818329fedc9d1a22992333d8948cb427fec5f5e442d9440c0f450d81a76c9c1e87050c434441cd74

doc/elpi.parser/Elpi_parser/Ast/Chr/index.html

Module `Ast.Chr`Source

Sourcetype sequent = {

eigen : Term.t;
context : Term.t;
conclusion : Term.t;

}

Sourceand 'attribute t = {

to_match : sequent list;
to_remove : sequent list;
guard : Term.t option;
new_goal : sequent option;
attributes : 'attribute;
loc : Loc.t;

}

Source

val pp_sequent : 
  Ppx_deriving_runtime.Format.formatter ->
  sequent ->
  Ppx_deriving_runtime.unit

Sourceval show_sequent : sequent -> Ppx_deriving_runtime.string

Source

val pp : 
  (Ppx_deriving_runtime.Format.formatter ->
    'attribute ->
    Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'attribute t ->
  Ppx_deriving_runtime.unit

Source

val show : 
  (Ppx_deriving_runtime.Format.formatter ->
    'attribute ->
    Ppx_deriving_runtime.unit) ->
  'attribute t ->
  Ppx_deriving_runtime.string

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/elpi.parser/Elpi_parser/Ast/Chr/index.html

Module Ast.ChrSource

dune-project
Dependency

Module `Ast.Chr`Source