module Spec: sig .. end
type ('conv_in, 'conv_out) t
val (++) : ('c1, 'c2) t ->
('c2, 'c3) t -> ('c1, 'c3) t
val step : ('c1 -> 'c2) -> ('c1, 'c2) t
val empty : unit -> ('c, 'c) t
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 : ?none_on_default:Tws_prot.raw_tws ->
'a Tws_prot.Val_type.t -> 'a option value
val optional_with_default : default:'a -> 'a Tws_prot.Val_type.t -> 'a value
val value : 'a value ->
name:string -> ('a -> 'c, 'c) t
val capture_remaining_message : (Tws_prot.raw_tws Core.Std.Queue.t -> 'c, 'c) t
val fields_value : 'a value ->
('c1, 'a -> 'c2) t ->
('b, 'c) Fieldslib.Field.t -> ('c1, 'c2) t