Module Elpi_parser.Ast

module Loc = Elpi_util.Util.Loc
module Func : sig ... end
type 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
val show_raw_attribute : raw_attribute -> Ppx_deriving_runtime.string
module TypeExpression : sig ... end
module Term : sig ... end
module Clause : sig ... end
module Chr : sig ... end
module Macro : sig ... end
module Type : sig ... end
module TypeAbbreviation : sig ... end
module Program : sig ... end
module Goal : sig ... end
val cfloat : float Elpi_util.Util.CData.cdata
val cstring : string Elpi_util.Util.CData.cdata
module Structured : sig ... end