Module Smart.Negotiation

type 'uid t = private
  1. | ACK of 'uid
  2. | ACK_continue of 'uid
  3. | ACK_ready of 'uid
  4. | ACK_common of 'uid
  5. | NAK
val is_common : 'uid t -> bool
val is_ready : 'uid t -> bool
val is_nak : 'uid t -> bool
val pp : string t Fmt.t
val map : f:('a -> 'b) -> 'a t -> 'b t