Module `Operator.Conversions`

Functors to change arities of transfer functions signatures (i.e. replace ar0 with a new ar0). "Conversions"; i.e. passing the same transfer function (currently: with same types for dimension identifiers) with minimal changes.

module type Conversion = sig ... end

module Convert_Boolean_Forward (C : Conversion) (F : sig ... end) : sig ... end

module Convert_Integer_Forward (C : Conversion) (F : sig ... end) : sig ... end

module Convert_Bitvector_Forward
  (C : Conversion)
  (F : sig ... end) : 
  sig ... end

module Convert_Binary_Forward (C : Conversion) (F : sig ... end) : sig ... end

module Convert_Block_Forward (C : Conversion) (F : sig ... end) : sig ... end

module Convert_Enum_Forward (C : Conversion) (F : sig ... end) : sig ... end

module Convert_Memory_Forward (C : Conversion) (F : sig ... end) : sig ... end

Module Operator.Conversions

Module `Operator.Conversions`