helm/software/helena/src/modules.ml

   1 (* free = F I J M Q U V W *)
   2
   3 module KF = Filename
   4 module KH = Hashtbl
   5 module KP = Printf
   6
   7 module U  = NUri
   8 module UH = NUri.UriHash
   9
  10 module C  = Cps
  11 module S  = Share
  12 module L  = Log
  13 module Y  = Time (**)
  14 module P  = Marks
  15
  16 module G  = Options
  17 module H  = Hierarchy
  18 module N  = Layer
  19 module E  = Entity
  20 module O  = Output
  21 module R  = Alpha
  22
  23 module D  = Crg
  24 module DO = CrgOutput
  25
  26 module T  = Txt
  27 module TP = TxtParser
  28 module TL = TxtLexer
  29 module TT = TxtTxt
  30 module TD = TxtCrg
  31
  32 module A  = Aut
  33 module AA = AutProcess
  34 module AO = AutOutput
  35 module AP = AutParser
  36 module AL = AutLexer
  37 module AD = AutCrg
  38
  39 module XL = XmlLibrary
  40 module XD = XmlCrg
  41
  42 module B  = Brg
  43 module BD = BrgCrg
  44 module BO = BrgOutput
  45 module BE = BrgEnvironment
  46 module BS = BrgSubstitution
  47 module BR = BrgReduction
  48 module BT = BrgType
  49 module BV = BrgValidity
  50 module BU = BrgUntrusted
  51 module BG = BrgGrafite
  52
  53 module Z  = Bag
  54 module ZD = BrgCrg
  55 module ZO = BagOutput
  56 module ZE = BagEnvironment
  57 module ZS = BagSubstitution
  58 module ZR = BagReduction
  59 module ZT = BagType
  60 module ZU = BagUntrusted
  61 (*
  62             top
  63 *)