From e5667db48c0c19867da0326e25af258255e1ef08 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 24 Jun 2002 09:34:44 +0000 Subject: [PATCH] added comment about 0 and 1 based indexes --- helm/ocaml/cic/cic.ml | 4 ++++ 1 file changed, 4 insertions(+) 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, *) -- 2.39.2