`sig
type 'a computation
module Context :
sig type t val create : unit -> Type_generic.Named.Context.t end
type 'a t
val init :
Type_generic.Named.Context.t -> 'a Typename.t -> 'a Type_generic.Named.t
val get_wip_computation :
'a Type_generic.Named.t -> 'a Type_generic.Named.computation
val set_final_computation :
'a Type_generic.Named.t ->
'a Type_generic.Named.computation -> 'a Type_generic.Named.computation
val share : 'a Std_internal.Typerep.t -> bool
end`