(* free = F I M P U V *)

module U  = NUri
module K  = NUri.UriHash

module C  = cps
module W  = share (**)
module L  = log
module Y  = time (**)

module H  = hierarchy
module N  = level
module E  = entity
module G  = options
module O  = output
module J  = marks (**)
module R  = alpha
module Q  = ccs
module S  = status

module D  = crg
module DO = crgOutput

module T  = txt
module TP = txtParser
module TL = txtLexer
module TT = txtTxt
module TD = txtCrg

module A  = aut
module AA = autProcess
module AO = autOutput
module AP = autParser
module AL = autLexer
module AD = autCrg

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 BV = brgValid
module BU = brgUntrusted

module Z  = bag
module ZD = brgCrg
module ZO = bagOutput
module ZE = bagEnvironment
module ZS = bagSubstitution
module ZR = bagReduction 
module ZT = bagType
module ZU = bagUntrusted
(*
            top
*)