home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / grep / determ.mli < prev    next >
Encoding:
Text File  |  1995-06-01  |  224 b   |  10 lines  |  [TEXT/MPS ]
  1. type état =
  2.   { mutable dtransitions : transition vect;
  3.     dterminal : bool }
  4. and transition =
  5.     Vers of état
  6.   | Rejet;;
  7.  
  8. value déterminise : auto__état -> determ__état
  9.   and reconnaît : determ__état -> string -> bool;;
  10.