Ast (p.elpi.3.7.3.doc.elpi.parser.Elpi

Sourcemodule Loc = Elpi_util.Util.Loc

Sourcemodule Func : sig ... end

Sourcemodule Mode : Elpi_util.Util.Mode with type t = Elpi_util.Util.Mode.t

Sourcetype raw_attribute =

| If of string
| Name of string
| After of string
| Before of string
| Replace of string
| Remove of string
| External of string option
| Index of int list * string option
| Functional
| Untyped
| NoOC

val pp_raw_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  raw_attribute ->
  Ppx_deriving_runtime.unit

Sourceval show_raw_attribute : raw_attribute -> Ppx_deriving_runtime.string

Sourcemodule TypeExpression : sig ... end

Sourcemodule Term : sig ... end

Sourcemodule Clause : sig ... end

Sourcemodule Chr : sig ... end

Sourcemodule Macro : sig ... end

Sourcemodule Type : sig ... end

Sourcemodule TypeAbbreviation : sig ... end

Sourcetype dependencies = (string * Elpi_util.Util.Digest.t) list

Source

val compare_dependencies : 
  dependencies ->
  dependencies ->
  Ppx_deriving_runtime.int

Source

val pp_dependencies : 
  Ppx_deriving_runtime.Format.formatter ->
  dependencies ->
  Ppx_deriving_runtime.unit

Sourceval show_dependencies : dependencies -> Ppx_deriving_runtime.string

Sourcetype 'a parser_output = {

file_name : string;
digest : Elpi_util.Util.Digest.t;
deps : dependencies;
ast : 'a;

}

Source

val compare_parser_output : 
  ('a -> 'a -> Ppx_deriving_runtime.int) ->
  'a parser_output ->
  'a parser_output ->
  Ppx_deriving_runtime.int

Source

val pp_parser_output : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a parser_output ->
  Ppx_deriving_runtime.unit

Source

val show_parser_output : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a parser_output ->
  Ppx_deriving_runtime.string

Sourcemodule Program : sig ... end

Sourcemodule Goal : sig ... end

Sourceval cfloat : float Elpi_util.Util.CData.cdata

Sourceval cint : int Elpi_util.Util.CData.cdata

Sourceval cstring : string Elpi_util.Util.CData.cdata

Sourceval cloc : Loc.t Elpi_util.Util.CData.cdata

Sourcemodule Structured : sig ... end