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=9955d95d69b1ffb6770daad42f2b15d44a8888843817dff272d44ef8a3480b5a

sha512=408bfb46efeba45d0c5e36e8478d9e9b2f01f38de88c10621deeedc69e4c2b007d859fec520ef5652ab33bf00106edbda421f16503eeff397ceb57a61e01fce2

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