Transfer_functions.Sig
module type Arity = sig ... end
module Forward_Arity : sig ... end
module Backward_Arity : sig ... end
module type Boolean_Backward = sig ... end
module type Boolean_Forward = sig ... end
module type Integer_Backward = sig ... end
module type Integer_Forward_Min = sig ... end
module type Integer_Forward = sig ... end
module type Bitvector_Backward = sig ... end
module type Bitvector_Forward = sig ... end
module type Binary_Backward = sig ... end
module type Binary_Forward = sig ... end
module type Memory_Backward = sig ... end
module type Memory_Forward = sig ... end