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 -> 'Typename.t -> 'Type_generic.Named.t
  val get_wip_computation :
    'Type_generic.Named.t -> 'Type_generic.Named.computation
  val set_final_computation :
    'Type_generic.Named.t ->
    'Type_generic.Named.computation -> 'Type_generic.Named.computation
  val share : 'Std_internal.Typerep.t -> bool
end