module type UnaryS = sig ... endmodule type UnaryMakeS = sig ... endmodule type MetapointsS = sig ... endmodule type QuotationsS = sig ... endmodule type MetapointS = sig ... endmodule type QuotationS = sig ... endmodule Exp : sig ... endmodule Pat : sig ... endmodule Typ : sig ... endmodule Cty : sig ... endmodule Ctf : sig ... endmodule Cl : sig ... endmodule Cf : sig ... endmodule Mty : sig ... endmodule Mod : sig ... endmodule Sig : sig ... endmodule Sigi : sig ... endmodule Str : sig ... endmodule Stri : sig ... endmodule type MetapointsMakeS = sig ... endmodule type MetapointsWithMakeS = sig ... endmodule type QuotationsMakeS = sig ... endmodule type QuotationsWithMakeS = sig ... endmodule Metapoints (X : UnaryS) : MetapointsMakeS with type 'a x = 'a X.tmodule Quotations (X : UnaryS) : QuotationsMakeS with type 'a x = 'a X.tmodule MetapointName : sig ... endval metapoint_name : MetapointName.tmodule QuotationName : sig ... endval quotation_name : QuotationName.tmodule MetapointsWithMake
(X : UnaryMakeS) :
MetapointsWithMakeS with type 'a x = 'a X.tmodule QuotationsWithMake
(X : UnaryMakeS) :
QuotationsWithMakeS with type 'a x = 'a X.tmodule type Map = sig ... endmodule MetapointMap
(X : MetapointsS)
(Y : MetapointsS)
(M : Map with type 'a x = 'a X.x and type 'a y = 'a Y.x) :
sig ... endmodule QuotationMap
(X : QuotationsS)
(Y : QuotationsS)
(M : Map with type 'a x = 'a X.x and type 'a y = 'a Y.x) :
sig ... endmodule OptionArray : sig ... endmodule OptionArrayMetapoints : sig ... endmodule LocationArray : sig ... endmodule MetapointsLocation : sig ... endmodule ArrayQuotation : sig ... endmodule ArrayQuotations : QuotationsS with type 'a x = 'a ArrayQuotation.ttype context = ArrayQuotation.context