module type ST = sig .. end
sig
end
type tag
val socktype : tag Cf_socket.socktype
tag Cf_socket.socktype