Invariant description added.

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index 2af88a63cf42d8ca617cf62e0447de255426ced3..49896a220f27e4646b7b6b855e54403283e2bdee 100644 (file)
--- 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