Module Genr_sharing


module Genr_sharing: sig .. end

Generation of functions to get maximal sharing for the values of a given type



val print_sharing_mli_preamble : Format.formatter -> unit
val print_sharing_ml_preamble : Format.formatter -> unit
val print_sharing : Format.formatter -> (string * Parsetree.type_declaration) list -> unit
val add_info_arg_to_type_declaration : Parsetree.type_declaration -> Parsetree.type_declaration
val print_type_private_structure_items : Format.formatter -> (string * Parsetree.type_declaration) list -> unit
Prints the structure items defined in the private type definition.