sig
  exception Succeed
  exception Fail
  exception Too_hard
  val match_pattern : int Pervasives.ref -> pattern -> string -> bool
end