/[svn]/types/types.ml
ViewVC logotype

Diff of /types/types.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 5 by abate, Tue Jul 10 16:56:44 2007 UTC revision 6 by abate, Tue Jul 10 16:57:08 2007 UTC
# Line 542  Line 542 
542    internalize (rec_normalize (descr n))    internalize (rec_normalize (descr n))
543    
544    
545    let apply t1 t2 =
546      failwith "apply: not yet implemented"
547    
548    
549  module Print =  module Print =
550  struct  struct
551    let marks = Hashtbl.create 63    let marks = Hashtbl.create 63
Legend:
Removed from v.5  
changed lines
  Added in v.6
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5