]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/eval.mli
fae7a5bc96da64f6920a6d2e2d14149539bdc729
[helm.git] / helm / ocaml / mathql_interpreter / eval.mli
1 val pattern_match :
2   string ->
3   Mathql.mquptoken list -> string -> int option * int option -> string