Sig.With_Integer_Backward
type boolean = Quadrivalent.t
type integer
module Integer_Backward : Transfer_functions.Integer_Backward with module Arity := Transfer_functions.Backward_Arity and type boolean := boolean and type integer := integer