struct 

  

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


  let match_frame  (r:Str.regexp) (s:string) (a,b) : bool = ((match_frame r s (a,b)) <> None)

  

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


  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) 

end