Module type Type_generic.Named

module type Named = sig .. end

type 'a computation 

module Context: sig .. end

Work in progress representation of a computation.

type 'a t 

val init : Context.t -> 'a Typename.t -> 'a t

val get_wip_computation : 'a t -> 'a computation

val set_final_computation : 'a t ->
       'a computation -> 'a computation

val share : 'a Std_internal.Typerep.t -> bool

It might be interesting to inline some computation for a few typerep if they appear several times within a typerep. This parameters will allow one to tweak the sharing between multiple occurences of the same typename. share = true means no inlining.

Note that not sharing recursive types will lead the of_typerep function to loop forever. Be careful when setting this.

An example where it is not suitable to share everything for example is typestruct. The typestruct of an int is a simple constructor called Int, naming it once and using the name to refere to it later within the typestruct does not lead to a shorter typestruct, and is in fact less readable. The benefit of the sharing depends on the computation, its memory and building costs.