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