package elpi

  1. Overview
  2. Docs
module Loc = Elpi_util.Util.Loc
module Func : sig ... end
module Term : sig ... end
type raw_attribute =
  1. | If of string
  2. | Name of string
  3. | After of string
  4. | Before of string
  5. | External
  6. | Index of int list
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 cstring : string Elpi_util.Util.CData.cdata
module Structured : sig ... end