Sig.With_Integer_Forward_Backward
type boolean = Quadrivalent.t
include With_Integer_Forward
with type boolean := boolean
and type integer := integer
module Integer_Forward :
Transfer_functions.Integer_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type integer := integer
include With_Integer_Backward
with type boolean := boolean
and type integer := integer
module Integer_Backward :
Transfer_functions.Integer_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type integer := integer