module Make: functor (T : sigval epsilon : floatend) -> S
functor (
T
:
sig
val epsilon : float
float
end
) ->
S
sig val epsilon : float end
include Robustly_comparable.S