You can search for identifiers within the package.
in-package search v0.2.0
codex.operator
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.
ar0
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