Functor Bus_debug.Debug

module Debug: 
functor (Bus : module type of Bus) -> sig .. end

include ??

val check_invariant : bool Pervasives.ref

val show_messages : bool Pervasives.ref