Module Operator.ConversionsSource

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.

Sourcemodule type Conversion = sig ... end
Sourcemodule Convert_Boolean_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Integer_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Bitvector_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Binary_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Block_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Enum_Forward (C : Conversion) (F : sig ... end) : sig ... end
Sourcemodule Convert_Memory_Forward (C : Conversion) (F : sig ... end) : sig ... end