package ocaml-base-compiler
type desc = | Any| Construct of Types.constructor_description| Constant of Asttypes.constant| Tuple of int| Record of Types.label_description list| Variant of {tag : Asttypes.label;has_arg : bool;cstr_row : Types.row_desc ref;type_row : unit -> Types.row_desc;
}| Array of int| Lazy
val loc : t -> Location.tval typ : t -> Types.type_exprval deconstruct : Typedtree.pattern -> t * Typedtree.pattern listdeconstruct p returns the head of p and the list of sub patterns.
val to_omega_pattern : t -> Typedtree.patternreconstructs a pattern, putting wildcards as sub-patterns.
val make : loc:Location.t -> typ:Types.type_expr -> env:Env.t -> desc -> tval omega : t