Module Tws_prot.Val_type

module Val_type: sig .. end

type 'a t 

val create : ('a -> Tws_prot.raw_tws) ->
       (Tws_prot.raw_tws -> 'a) -> 'a t