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