package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

sha256=ce856046a3405de0a0937cc69ed564919c48890ac2539f8e35e23dec1893ebbe

sha512=6ca90a67a32094551cc324ed007b60239e2a06dfc10d8cd862a74db065492d3010b7f2d88eb45e92e368d1c7e6c573df64454d6739097e809bd470dddec51a75

Sourcetype decl =

| Begin of Loc.t
| Namespace of Loc.t * Func.t
| Constraint of Loc.t * Func.t list * Func.t list
| Shorten of Loc.t * (Func.t * Func.t) list
| End of Loc.t
| Accumulated of Loc.t * parser_output list
| Clause of (Term.t, raw_attribute list, unit, unit) Clause.t
| Chr of (raw_attribute list, Term.t) Chr.t
| Macro of (Func.t, Term.t) Macro.t
| Kind of (raw_attribute list, raw_attribute list) Type.t list
| Type of (raw_attribute list, raw_attribute list) Type.t list
| Pred of (raw_attribute list, raw_attribute list) Type.t
| TypeAbbreviation of (Func.t, raw_attribute list TypeExpression.t) TypeAbbreviation.t
| Ignored of Loc.t

Sourceand parser_output = {

}

val pp_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  decl ->
  Ppx_deriving_runtime.unit

Sourceval show_decl : decl -> Ppx_deriving_runtime.string

val pp_parser_output : 
  Ppx_deriving_runtime.Format.formatter ->
  parser_output ->
  Ppx_deriving_runtime.unit

Sourceval show_parser_output : parser_output -> Ppx_deriving_runtime.string

Sourcetype t = decl list

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string