Module Assert_false_domain.Binary

module Binary_Forward : sig ... end

module Binary_Backward : sig ... end