Module Datalib


module Datalib: sig .. end
2 struct or union objects are equal when all the fields are equal.

When adding a warning, one has to provide :



module WpLog: Wp_parameters
module Collector: sig .. end
module Create: 
functor (V : Mvalues.Values) -> sig .. end
module Cvalues: 
functor (M : Mvalues.Model) -> sig .. end