Metapp_api (u.94ac9837408d1ba14d3b0cfe22a5d560.metapp.0.4.4.doc.metapp.api.Metapp

Sourcemodule type UnaryS = sig ... end

Sourcemodule type UnaryMakeS = sig ... end

Sourcemodule type MetapointsS = sig ... end

Sourcemodule type QuotationsS = sig ... end

Sourcemodule type MetapointS = sig ... end

Sourcemodule type QuotationS = sig ... end

Sourcemodule Exp : sig ... end

Sourcemodule Pat : sig ... end

Sourcemodule Typ : sig ... end

Sourcemodule Cty : sig ... end

Sourcemodule Ctf : sig ... end

Sourcemodule Cl : sig ... end

Sourcemodule Cf : sig ... end

Sourcemodule Mty : sig ... end

Sourcemodule Mod : sig ... end

Sourcemodule Sig : sig ... end

Sourcemodule Sigi : sig ... end

Sourcemodule Str : sig ... end

Sourcemodule Stri : sig ... end

Sourcemodule type MetapointsMakeS = sig ... end

Sourcemodule type MetapointsWithMakeS = sig ... end

Sourcemodule type QuotationsMakeS = sig ... end

Sourcemodule type QuotationsWithMakeS = sig ... end

Sourcemodule Metapoints (X : UnaryS) : MetapointsMakeS with type 'a x = 'a X.t

Sourcemodule Quotations (X : UnaryS) : QuotationsMakeS with type 'a x = 'a X.t

Sourcemodule MetapointName : sig ... end

Sourceval metapoint_name : MetapointName.t

Sourcemodule QuotationName : sig ... end

Sourceval quotation_name : QuotationName.t

module MetapointsWithMake
  (X : UnaryMakeS) : 
  MetapointsWithMakeS with type 'a x = 'a X.t

module QuotationsWithMake
  (X : UnaryMakeS) : 
  QuotationsWithMakeS with type 'a x = 'a X.t

Sourcemodule type Map = sig ... end

module MetapointMap
  (X : MetapointsS)
  (Y : MetapointsS)
  (M : Map with type 'a x = 'a X.x and type 'a y = 'a Y.x) : 
  sig ... end

module QuotationMap
  (X : QuotationsS)
  (Y : QuotationsS)
  (M : Map with type 'a x = 'a X.x and type 'a y = 'a Y.x) : 
  sig ... end

Sourcemodule OptionArray : sig ... end

Sourcemodule OptionArrayMetapoints : sig ... end

Sourcemodule LocationArray : sig ... end

Sourcemodule MetapointsLocation : sig ... end

module ArrayQuotation : sig ... end

module ArrayQuotations : QuotationsS with type 'a x = 'a ArrayQuotation.t

Sourcetype context = ArrayQuotation.context

Sourceval top_context : context option ref