Module Genr_memo


module Genr_memo: sig .. end
Maximum sharing handling.


val set_memoize_target : unit -> unit
val get_memoize_target : unit -> bool
Do we generate maximum sharing ?
val get_memo_table_size : unit -> int
val set_memo_table_size : int -> unit
val print_memo_hash_table_module : Format.formatter -> unit
Output module declarations and helpers for memoized functions
val genr_memo_functions : string ->
Parsetree.core_type option ->
Otype.constructor_definition ->
Genr_base.generated_functions -> Genr_base.generated_functions
Memoize construction functions of a given constructor cdef among all generated functions for this very constructor.