X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmathql_semantics.ml;h=49896a220f27e4646b7b6b855e54403283e2bdee;hb=fb4f3bb1bafb5d5541a777758b4074ee8e2de4ae;hp=2af88a63cf42d8ca617cf62e0447de255426ced3;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index 2af88a63c..49896a220 100644
--- a/helm/ocaml/mathql_interpreter/mathql_semantics.ml
+++ b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
@@ -30,4 +30,5 @@ type attributed_uri =
 type attributed_uri_env =
  (MathQL.mqrvar * attributed_uri) list
 
+(* invariant: the result is ordered on the uri component of every item *)
 type result = attributed_uri list