From b89599c60d93bfc05dc15d6e22348fcc87fa722f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 1 Jul 2002 09:15:14 +0000 Subject: [PATCH] Invariant description added. --- helm/ocaml/mathql_interpreter/mathql_semantics.ml | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2