Module Core_kernel__Float.Robustly_comparable
val robust_comparison_tolerance : Core_kernel__.Import.float
intended to be a tolerance on human-entered floats
Core_kernel__Float.Robustly_comparable
val robust_comparison_tolerance : Core_kernel__.Import.float
intended to be a tolerance on human-entered floats