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

   1 type text = string
   2
   3 type word = string
   4
   5 type words = word list
   6
   7 type src =
   8 (* end of line *)
   9   | Line  of text
  10 (* other text *)
  11   | Text  of text
  12 (* mark *)
  13   | Mark  of text
  14 (* Key *)
  15   | Key   of word * text
  16 (* title *)
  17   | Title of words
  18 (* section *)
  19   | Slice of words
  20 (* other comment *)
  21   | Other of text * text * text
  22
  23 type srcs = src list
  24
  25 type ('s, 't) aproc = 's -> words -> words -> 't
  26
  27 type ('s, 't) astep = ('s, 't) aproc -> ('s, 't) aproc
  28
  29 type step = (bool, bool * words * words) astep