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