matita/matita/contribs/lambdadelta/bin/recomm/mrcTypes.ml

   1 type word = string
   2
   3 type words = word list
   4
   5 type subst = words list
   6
   7 type substs = subst list
   8
   9 type mrc_status = {
  10 (* component module *)
  11   cmod   : string;
  12 (* register module *)
  13   rmod   : string;
  14 (* register function *)
  15   rfun   : string;
  16 (* optional depend module *)
  17   dmod   : string;
  18 (* parallel component *)
  19   para   : bool;
  20 (* optional component *)
  21   optn   : bool;
  22 (* substitutions *)
  23   substs : substs;
  24 }
  25
  26 type idx_status = {
  27 (* indexed directory *)
  28   cdir: string;
  29 (* indexed modules *)
  30   mods: string list;
  31 }