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