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

Diff of /types/types.ml

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

revision 42 by abate, Tue Jul 10 17:00:17 2007 UTC revision 43 by abate, Tue Jul 10 17:00:25 2007 UTC
# Line 638  Line 638 
638        print_union ppf        print_union ppf
639          (Intervals.print d.ints @          (Intervals.print d.ints @
640           Chars.print d.chars @           Chars.print d.chars @
641           Atoms.print "AnyAtom" print_atom d.atoms @           Atoms.print "Atom" print_atom d.atoms @
642           Boolean.print "(Any,Any)" print_times d.times @           Boolean.print "Pair" print_times d.times @
643           Boolean.print "(Empty -> Any)" print_arrow d.arrow @           Boolean.print "Arrow" print_arrow d.arrow @
644           Boolean.print "{ }" print_record d.record           Boolean.print "Record" print_record d.record
645          )          )
646    and print_times ppf (t1,t2) =    and print_times ppf (t1,t2) =
647      Format.fprintf ppf "@[(%a,%a)@]" print t1 print t2      Format.fprintf ppf "@[(%a,%a)@]" print t1 print t2
Legend:
Removed from v.42  
changed lines
  Added in v.43
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5