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/smlnj-lib/Util/binary-set-fn.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/smlnj-lib/Util/binary-set-fn.sml

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

revision 28, Thu Mar 12 01:05:57 1998 UTC revision 29, Thu Mar 12 01:05:59 1998 UTC
# Line 147  Line 147 
147              LESS => T'(v,add(l,x),r)              LESS => T'(v,add(l,x),r)
148            | GREATER => T'(v,l,add(r,x))            | GREATER => T'(v,l,add(r,x))
149            | EQUAL => mkT(x,cnt,l,r)            | EQUAL => mkT(x,cnt,l,r)
150        fun add' (s, x) = add(x, s)
151    
152      fun concat3 (E,v,r) = add(r,v)      fun concat3 (E,v,r) = add(r,v)
153        | concat3 (l,v,E) = add(l,v)        | concat3 (l,v,E) = add(l,v)

Legend:
Removed from v.28  
changed lines
  Added in v.29

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