we renamed the module abbreviations according to src/modules.ml

[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
new file mode 100644 (file)
index 0000000..f48cf6f
--- /dev/null
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -0,0 +1,62 @@
+(* free = F I N P Q U V W *)
+
+module U  = NUri
+module K  = NUri.UriHash
+
+module C  = cps
+module S  = share
+module L  = log
+module Y  = time (**)
+
+module G  = options
+module H  = hierarchy
+module O  = output
+module E  = entity
+module J  = marks (**)
+module R  = alpha
+
+module T  = txt
+module TP = txtParser
+module TL = txtLexer
+module TT = txtTxt
+
+module A  = aut
+module AA = autProcess
+module AO = autOutput
+module AP = autParser
+module AL = autLexer
+
+module Z  = bag
+module ZO = bagOutput
+module ZE = bagEnvironment
+module ZS = bagSubstitution
+module ZR = bagReduction 
+module ZT = bagType
+module ZU = bagUntrusted
+
+module D  = crg
+module DO = crgOutput
+module TD = crgTxt
+module AD = crgAut
+
+module XL = xmlLibrary
+module XD = xmlCrg
+
+module B  = brg
+module BD = brgCrg
+module BO = brgOutput
+module BE = brgEnvironment
+module BS = brgSubstitution
+module BR = brgReduction
+module BT = brgType
+module BU = brgUntrusted
+
+module M  = meta
+module MO = metaOutput
+module ML = metaLibrary
+module MA = metaAut
+module MZ = metaBag
+module MB = metaBrg
+(*
+            top
+*)