Up

module Pa_typerep_conv

: sig

Pa_type_rep: Preprocessing Module for automatic type representation

#
module Tuple : sig
#
val expr : Camlp4.PreCast.Ast.loc -> Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr
#
val patt : Camlp4.PreCast.Ast.loc -> Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt
#
val ctyp : Camlp4.PreCast.Ast.loc -> Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp
end
#
module Field_case : sig
#
type t = {
# label
: string;
# ctyp
: Camlp4.PreCast.Ast.ctyp;
# index
: int;
}
end
#
module Variant_case : sig
#
type t = {
# label
: string;
# ctyp
: Camlp4.PreCast.Ast.ctyp option;
# poly
: bool;
# arity
: int;
# index
: int;
# arity_index
: int;
}
#
val expr : loc:Camlp4.PreCast.Ast.loc -> t -> Camlp4.PreCast.Ast.expr

expr and patt for the constructor

#
val patt : loc:Camlp4.PreCast.Ast.loc -> t -> Camlp4.PreCast.Ast.patt
#
val ocaml_repr : loc:Camlp4.PreCast.Ast.loc -> t -> Camlp4.PreCast.Ast.expr
end
#
module Branches : sig
#
val fields : Camlp4.PreCast.Ast.ctyp -> Field_case.t list
#
val variants : Camlp4.PreCast.Ast.ctyp -> Variant_case.t list
end
end