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