module type P = sig .. end
sig
end
module AF: Cf_socket.AF
Cf_socket.AF
module ST: Cf_socket.ST
Cf_socket.ST
val protocol : Cf_socket.protocol
Cf_socket.protocol