sig
  type t
  val tws_of_t : Twsable.S.t -> Tws_prot.raw_tws
  val t_of_tws : Tws_prot.raw_tws -> Twsable.S.t
  val val_type : Twsable.S.t Tws_prot.Val_type.t
end