Sig.With_Integer_Forward
type boolean = Quadrivalent.t
type integer
module Integer_Forward : Transfer_functions.Integer_Forward with module Arity := Transfer_functions.Forward_Arity and type boolean := boolean and type integer := integer