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

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

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