package elpi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type decl =
  1. | Begin of Loc.t
  2. | Namespace of Loc.t * Func.t
  3. | Constraint of Loc.t * Func.t list * Func.t list
  4. | Shorten of Loc.t * (Func.t * Func.t) list
  5. | End of Loc.t
  6. | Accumulated of Loc.t * parser_output list
  7. | Clause of (Term.t, raw_attribute list, unit) Clause.t
  8. | Chr of (raw_attribute list, Term.t) Chr.t
  9. | Macro of (Func.t, Term.t) Macro.t
  10. | Kind of (raw_attribute list, raw_attribute list) Type.t list
  11. | Type of (raw_attribute list, raw_attribute list) Type.t list
  12. | Pred of (raw_attribute list, raw_attribute list) Type.t
  13. | TypeAbbreviation of (Func.t, raw_attribute list TypeExpression.t) TypeAbbreviation.t
  14. | Ignored of Loc.t
and parser_output = {
  1. file_name : string;
  2. digest : Elpi_util.Util.Digest.t;
  3. ast : decl list;
}
val pp_decl : Ppx_deriving_runtime.Format.formatter -> decl -> Ppx_deriving_runtime.unit
val pp_parser_output : Ppx_deriving_runtime.Format.formatter -> parser_output -> Ppx_deriving_runtime.unit
val show_parser_output : parser_output -> Ppx_deriving_runtime.string
type t = decl list
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
OCaml

Innovation. Community. Security.