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/ord-map-sig.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/Util/ord-map-sig.sml

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

revision 2144, Thu Nov 2 16:23:11 2006 UTC revision 2274, Tue Jan 30 15:00:09 2007 UTC
# Line 29  Line 29 
29      val find : 'a map * Key.ord_key -> 'a option      val find : 'a map * Key.ord_key -> 'a option
30          (* Look for an item, return NONE if the item doesn't exist *)          (* Look for an item, return NONE if the item doesn't exist *)
31    
32        val lookup : 'a map * Key.ord_key -> 'a
33            (* look for an item, raise the NotFound exception if it doesn't exist *)
34    
35      val inDomain : ('a map * Key.ord_key) -> bool      val inDomain : ('a map * Key.ord_key) -> bool
36          (* return true, if the key is in the domain of the map *)          (* return true, if the key is in the domain of the map *)
37    

Legend:
Removed from v.2144  
changed lines
  Added in v.2274

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