ocaml-base-compiler

Official release 4.07.1
IN THIS PACKAGE
Module Datarepr
val labels_of_type : Path.t -> Types.type_declaration -> (Ident.t * Types.label_description) list
val constructors_of_type : Path.t -> Types.type_declaration -> (Ident.t * Types.constructor_description) list
exception Constr_not_found
val constructor_existentials : Types.constructor_arguments -> Types.type_expr option -> Types.type_expr list * Types.type_expr list

Takes cd_args and cd_res from a constructor_declaration and returns:

  • the types of the constructor's arguments
  • the existential variables introduced by the constructor
val set_row_name : Types.type_declaration -> Path.t -> unit