sig   val any : t   val whilst : (Real.t -> bool) -> string -> bool   val eq : Real.t -> t   val gt : Real.t -> t   val gte : Real.t -> t   val lt : Real.t -> t   val lte : Real.t -> t end