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