From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 1 Jul 2002 09:15:14 +0000 (+0000)
Subject: Invariant description added.
X-Git-Tag: V_0_3_0_debian_8~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b89599c60d93bfc05dc15d6e22348fcc87fa722f;p=helm.git

Invariant description added.
---

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