type t external make : string -> t = "ml_g_pattern_spec_new" external match_string : t -> string -> bool = "ml_g_pattern_match"