val pattern_match :
  string ->
  Mathql.mquptoken list -> string -> int option * int option -> string