Parameter Core_kernel__.Float.Robust_compare.Make.1-T

val robust_comparison_tolerance : Core_kernel__.Import.float