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