Sig.With_Bitvector_Forward
type boolean = Quadrivalent.t
type binary
module Binary_Forward : Transfer_functions.Bitvector_Forward with module Arity := Transfer_functions.Forward_Arity and type boolean := boolean and type bitvector := binary