From 2a685d0ed0394bedc4cc0949bad643e0b1fce0c4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 15 Apr 2008 13:42:39 +0000 Subject: [PATCH] added comment --- helm/software/components/ng_kernel/nCic.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/components/ng_kernel/nCic.ml b/helm/software/components/ng_kernel/nCic.ml index c4163edb4..f32f68426 100644 --- a/helm/software/components/ng_kernel/nCic.ml +++ b/helm/software/components/ng_kernel/nCic.ml @@ -60,6 +60,7 @@ type substitution = (int * subst_entry) list type relevance = bool list (* relevance of arguments for conversion *) + (* relevance, name, recno, ty, bo *) type inductiveFun = relevance * string * int * term * term (* if coinductive, the int has no meaning and must be set to -1 *) -- 2.39.2