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