Sourcetype 'active_peer remote_state = | WaitingForPeer| ActiveMessage of 'active_peer
Sourcetype ('opn, 'half_closed) active_state = | Open of 'opn remote_state| HalfClosed of 'half_closed
Sourcetype ('active_state, 'active, 'reserved) state = | Idle| Reserved of 'reserved| Active of 'active_state * 'active| Closed of closed
constraint 'active_state = (_, _) active_state Sourcetype 'a error_status = | No_error| Exn of exn| Other of {error : 'a;code : Error_code.t;
}