Module Smart.NegotiationSource

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