module type S = sig .. end
val epsilon : float
include Robustly_comparable.S with type t := float
module Make : 
functor (T : sig .. end) -> S