sig
  module Spec :
    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
  type 'a t
  val create :
    ?buf_size:int ->
    ?name:string -> 'a Tws_prot.Pickler.Spec.t -> 'a Tws_prot.Pickler.t
  val run : 'a Tws_prot.Pickler.t -> 'a -> Tws_prot.raw_tws
end