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