functor (N : NUMBER) ->
  sig
    val any : Kwapp.Valid.t option
    val whilst : (N.t -> bool) -> string -> bool
    val gt : N.t -> Kwapp.Valid.t option
    val gte : N.t -> Kwapp.Valid.t option
    val lt : N.t -> Kwapp.Valid.t option
    val lte : N.t -> Kwapp.Valid.t option
  end