module Implementation: sig .. end
sig
end
type 'connection_state t
'connection_state
module Description: sig .. end
val description : 'a t -> Description.t
'a t -> Description.t