let match_whole  (r:Str.regexp) (s:string)       : bool = ((match_whole r s) <> None)

  
  (** Boolean version of the heuristic match_string. *)

  and match_string (e:string)     (s:string)       : bool = ((match_whole (Str.regexp e) s) <> None)