sig
  val notnull : string -> bool
  val notblank : string -> bool
  val noblanks : string -> bool
  val boolean : string -> bool
  val numeric : string -> bool
  val nonzero : string -> bool
  val positive : string -> bool
  val atleast : int -> string -> bool
  val atmost : int -> string -> bool
  val even : string -> bool
  val odd : string -> bool
  val url : ?syntax:Neturl.url_syntax -> string -> bool
  val list_member : 'a list -> 'a -> bool
  val no_dot_dot : string -> bool
  val relative : string -> bool
  val subdir_of : ?dotok:bool -> string -> string -> bool
  val subtree_of : string -> string -> bool
  val javascript_identifier : string -> bool
  val in_map : 'a Kwrefer.SM.t -> Kwrefer.SM.key -> bool
  val conjunction : ('a -> bool) list -> 'a -> bool
  val disjunction : ('a -> bool) list -> 'a -> bool
end