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