Module Transfer_functions

module Transfer_functions: sig .. end

module Integer: Bigint
module type Arity = sig .. end
module type Boolean_Backward = sig .. end
module type Boolean_Forward = sig .. end
module type Binary_Backward = sig .. end
module type Binary_Forward = sig .. end