Ast (elpi.Elpi_parser.Ast)

module Loc = Elpi_util.Util.Loc

module Func : sig ... end

module Term : sig ... end

type raw_attribute =

| If of string

| Name of string

| After of string

| Before of string

| Replace of string

| External

| Index of int list * string option

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

val show_raw_attribute : raw_attribute -> Ppx_deriving_runtime.string

module Clause : sig ... end

module Chr : sig ... end

module Macro : sig ... end

module Type : sig ... end

module Mode : sig ... end

module TypeAbbreviation : sig ... end

module Program : sig ... end

module Goal : sig ... end

val cfloat : float Elpi_util.Util.CData.cdata

val cint : int Elpi_util.Util.CData.cdata

val cstring : string Elpi_util.Util.CData.cdata

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

module Structured : sig ... end