Module Elpi_parser.AstSource

Sourcemodule Func : sig ... end
Sourcetype raw_attribute =
  1. | If of string
  2. | Name of string
  3. | After of string
  4. | Before of string
  5. | Replace of string
  6. | Remove of string
  7. | External of string option
  8. | Index of int list * string option
  9. | Functional
  10. | Untyped
  11. | NoOC
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
Sourcetype 'a parser_output = {
  1. file_name : string;
  2. digest : Elpi_util.Util.Digest.t;
  3. deps : dependencies;
  4. ast : 'a;
}
Sourceval compare_parser_output : ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a parser_output -> 'a parser_output -> Ppx_deriving_runtime.int
Sourcemodule Program : sig ... end
Sourcemodule Goal : sig ... end
Sourcemodule Structured : sig ... end