module Make: functor (
T
:
sig
val robust_comparison_tolerance : float
end
) ->
S
Parameters: |
T |
: |
sig val robust_comparison_tolerance : float end
|
|
val robust_comparison_tolerance : float
intended to be a tolerance on human-entered floats
include Robustly_comparable.S