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

Diff of /types/types.mli

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

revision 51 by abate, Tue Jul 10 17:00:40 2007 UTC revision 52 by abate, Tue Jul 10 17:01:20 2007 UTC
# Line 33  Line 33 
33    
34  (** Constructors **)  (** Constructors **)
35    
36  val interval : Big_int.big_int -> Big_int.big_int -> descr  val interval : Intervals.t -> descr
37  val atom     : atom Atoms.t -> descr  val atom     : atom Atoms.t -> descr
38  val times    : node -> node -> descr  val times    : node -> node -> descr
39  val arrow    : node -> node -> descr  val arrow    : node -> node -> descr
Legend:
Removed from v.51  
changed lines
  Added in v.52
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5