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 /smlnj-lib/branches/rt-transition/Util/int-binary-set.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/Util/int-binary-set.sml

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

revision 4069, Tue Jun 9 20:52:48 2015 UTC revision 4070, Thu Jun 11 12:33:25 2015 UTC
# Line 420  Line 420 
420              )              )
421                (empty, empty) set                (empty, empty) set
422    
423        fun exists p E = false
424          | exists p (T{elt, left, right,...}) =
425              (exists p left) orelse (p elt) orelse (exists p right)
426    
427        fun all p E = true
428          | all p (T{elt, left, right,...}) =
429              (all p left) andalso (p elt) andalso (all p right)
430    
431      fun find p E = NONE      fun find p E = NONE
432        | find p (T{elt,left,right,...}) = (case find p left        | find p (T{elt,left,right,...}) = (case find p left
433             of NONE => if (p elt)             of NONE => if (p elt)
# Line 428  Line 436 
436              | a => a              | a => a
437            (* end case *))            (* end case *))
438    
     fun exists p E = false  
       | exists p (T{elt, left, right,...}) =  
           (exists p left) orelse (p elt) orelse (exists p right)  
   
439    end (* IntBinarySet *)    end (* IntBinarySet *)

Legend:
Removed from v.4069  
changed lines
  Added in v.4070

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