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

sha512=71092d086b9ad72a5b6e08ecfa2fa896bd109730c1896ff0cfe7465be6d7dc5faff033e0bd518e450279925e38ac1cb254ce18f90235b3492508ce346a3d1efc

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