1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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