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