module Spec: sig .. end
type 'a t
val empty : unit -> [ `Args ] t
val wrap : 'a t -> ('b -> 'a) -> 'b t
val (++) : 'a t ->
'b t -> ('a * 'b) t
val ($) : 'a -> 'b -> 'a * 'b
val unit : unit Tws_prot.Val_type.t
val string : string Tws_prot.Val_type.t
val int : int Tws_prot.Val_type.t
val int64 : int64 Tws_prot.Val_type.t
val float : float Tws_prot.Val_type.t
val bool : bool Tws_prot.Val_type.t
val bools : bool Tws_prot.Val_type.t
val stamp : Core.Std.Time.t Tws_prot.Val_type.t
val time : Core.Std.Time.t Tws_prot.Val_type.t
val date : Core.Std.Date.t Tws_prot.Val_type.t
val zone : Core.Std.Time.Zone.t Tws_prot.Val_type.t
type 'a value
val sequence : ?sep:char -> 'a Tws_prot.Val_type.t -> 'a list value
val required : 'a Tws_prot.Val_type.t -> 'a value
val optional : ?default_on_none:Tws_prot.raw_tws ->
'a Tws_prot.Val_type.t -> 'a option value
val skipped_if_none : 'a Tws_prot.Val_type.t -> 'a option value
val skipped : 'a value
val tws_data : Tws_prot.raw_tws value
val value : 'a value -> 'a t
val fields_value : 'a value ->
'accum t ->
('b, 'c) Core.Std.Field.t -> ('accum * 'a) t