From: Stefano Zacchiroli Date: Mon, 24 Jun 2002 09:34:44 +0000 (+0000) Subject: added comment about 0 and 1 based indexes X-Git-Tag: V_0_3_0_debian_8~21 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5667db48c0c19867da0326e25af258255e1ef08;p=helm.git added comment about 0 and 1 based indexes --- diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml index fd3e191a8..2429dcfed 100644 --- a/helm/ocaml/cic/cic.ml +++ b/helm/ocaml/cic/cic.ml @@ -65,8 +65,10 @@ and term = | Appl of term list (* arguments *) | Const of UriManager.uri * int (* uri, number of cookings*) | MutInd of UriManager.uri * int * int (* uri, cookingsno, typeno*) + (* typeno is 0 based *) | MutConstruct of UriManager.uri * int * (* uri, cookingsno, *) int * int (* typeno, consno *) + (* consno is 1 based *) (*CSC: serve cookingsno?*) | MutCase of UriManager.uri * int * (* ind. uri, cookingsno, *) int * (* ind. typeno, *) @@ -116,8 +118,10 @@ and annterm = | AAppl of id * annterm list (* arguments *) | AConst of id * UriManager.uri * int (* uri, number of cookings*) | AMutInd of id * UriManager.uri * int * int (* uri, cookingsno, typeno*) + (* typeno is 0 based *) | AMutConstruct of id * UriManager.uri * int * (* uri, cookingsno, *) int * int (* typeno, consno *) + (* consno is 1 based *) (*CSC: serve cookingsno?*) | AMutCase of id * UriManager.uri * int * (* ind. uri, cookingsno *) int * (* ind. typeno, *)