Module Transfer_functions.Sig

type access_type =
  1. | Read
  2. | Write
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