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=d9bcd4cd43bf3ecd6ec471c8cd0c74a542e67bdba96310418207a7c5a42b77e2

sha512=7ecc6d298332d01a84daa3d91ac28cd6c4cbf9f5f6cf025313580577f87b6781cbbf7fed3fdee470562b1b2a5b58865dd00878efd21be294e462810b578d8ace

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