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