Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/MLRISC/graphs/node-partition.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/graphs/node-partition.sml

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

revision 429, Wed Sep 8 09:47:00 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 15  Line 15 
15     val ==    : 'n node_partition -> Graph.node_id * Graph.node_id -> bool     val ==    : 'n node_partition -> Graph.node_id * Graph.node_id -> bool
16     val union : 'n node_partition -> ('n Graph.node * 'n Graph.node ->     val union : 'n node_partition -> ('n Graph.node * 'n Graph.node ->
17                                          'n Graph.node) ->                                          'n Graph.node) ->
18                                          Graph.node_id * Graph.node_id -> unit                                          Graph.node_id * Graph.node_id -> bool
19     val union': 'n node_partition -> Graph.node_id * Graph.node_id -> unit     val union': 'n node_partition -> Graph.node_id * Graph.node_id -> bool
20    
21  end  end
22    

Legend:
Removed from v.429  
changed lines
  Added in v.498

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0