type params = (string * Term.typ) arraymodule Header : sig ... endmodule Constructor : sig ... endmodule Type : sig ... endval make : params -> Fmlib.Common.Int_set.t -> Type.t array -> tval count_types : t -> intval count_params : t -> intval is_param_positive : int -> t -> boolval parameter_name : int -> t -> stringval count_constructors : int -> t -> intval count_previous_constructors : int -> t -> intraw_constructor i j ind
The name and the type of the jth constructor of the ith inductive type of the family, valid in a context with the inductive types and the parameters.