sig
  type 'a t
  val create :
    ('a -> Tws_prot.raw_tws) ->
    (Tws_prot.raw_tws -> 'a) -> 'a Tws_prot.Val_type.t
end