let kernel_parameters_precision = [
  Kernel.PreciseUnions.parameter;
  Kernel.ArrayPrecisionLevel.parameter;
]