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