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=71c93a5ea0bdf19f656f70984bc2bf681d5639c9230325f3675e2f5f8d6726f2

sha512=d6a87bf1ba6bfb6f773075295137d037e007252ecf16aa026c151df11bc498efe56d5d5369920c2dad3b53373cba75378731cd752d08e07353a1c68063d2cd2a

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