sig type t = float val compare : 'a -> 'a -> int val hash : 'a -> int val equal : 'a -> 'a -> bool val default : float end