Module Assert_False_Transfer_Functions.Binary

module Binary_Forward : sig ... end
module Binary_Backward : sig ... end