sig
  type 'a t
  val empty : unit -> [ `Args ] Tws_prot.Pickler.Spec.t
  val wrap :
    'a Tws_prot.Pickler.Spec.t -> ('b -> 'a) -> 'b Tws_prot.Pickler.Spec.t
  val ( ++ ) :
    'a Tws_prot.Pickler.Spec.t ->
    'b Tws_prot.Pickler.Spec.t -> ('a * 'b) Tws_prot.Pickler.Spec.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 Tws_prot.Pickler.Spec.value
  val required : 'a Tws_prot.Val_type.t -> 'a Tws_prot.Pickler.Spec.value
  val optional :
    ?default_on_none:Tws_prot.raw_tws ->
    'a Tws_prot.Val_type.t -> 'a option Tws_prot.Pickler.Spec.value
  val skipped_if_none :
    'a Tws_prot.Val_type.t -> 'a option Tws_prot.Pickler.Spec.value
  val skipped : 'a Tws_prot.Pickler.Spec.value
  val tws_data : Tws_prot.raw_tws Tws_prot.Pickler.Spec.value
  val value : 'a Tws_prot.Pickler.Spec.value -> 'a Tws_prot.Pickler.Spec.t
  val fields_value :
    'a Tws_prot.Pickler.Spec.value ->
    'accum Tws_prot.Pickler.Spec.t ->
    ('b, 'c) Core.Std.Field.t -> ('accum * 'a) Tws_prot.Pickler.Spec.t
end