- initial support for abstractions with explicit levels

[helm.git] / helm / software / lambda-delta / src / modules.ml

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
index 7fad8b893f810170e8fd29561c56c322c861034a..51b98a29dff8c680f0e35efd11a7b2e5c07e0201 100644 (file)
--- a/helm/software/lambda-delta/src/modules.ml
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -1,4 +1,4 @@
-(* free = F I N P Q U V W *)
+(* free = F I P Q U V W *)
 
 module U  = NUri
 module K  = NUri.UriHash
@@ -14,6 +14,7 @@ module O  = output
 module E  = entity
 module J  = marks (**)
 module R  = alpha
+module N  = level
 
 module T  = txt
 module TP = txtParser