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