Sig.With_Bitvector_Backward
type boolean = Quadrivalent.t
type binary
module Binary_Backward : Transfer_functions.Bitvector_Backward with module Arity := Transfer_functions.Backward_Arity and type boolean := boolean and type bitvector := binary