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

Diff of /smlnj-lib/branches/rt-transition/Util/uref-sig.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 22  Line 22 
22   * introduction          ref                   uref   * introduction          ref                   uref
23   * elimination           !                     !!   * elimination           !                     !!
24   * equality              =                     equal   * equality              =                     equal
25   * updating              :=                    ::=   * updating              :=                    update
26   * unioning                                    link, union, unify   * unioning                                    link, union, unify
27   * -------------------------------------------------------------------   * -------------------------------------------------------------------
28   *   *
# Line 49  Line 49 
49      type 'a uref      type 'a uref
50          (* type of uref-elements with contents of type 'a *)          (* type of uref-elements with contents of type 'a *)
51    
   
52      val uRef: 'a -> 'a uref      val uRef: 'a -> 'a uref
53          (* uref x creates a new element with contents x *)          (* uref x creates a new element with contents x *)
54    
   
55      val equal: 'a uref * 'a uref -> bool      val equal: 'a uref * 'a uref -> bool
56          (* equal (e, e') returns true if and only if e and e' are either made by          (* equal (e, e') returns true if and only if e and e' are either made by
57           * the same call to uref or if they have been unioned (see below).           * the same call to uref or if they have been unioned (see below).
# Line 65  Line 63 
63           * equal(uref (!!x), x) = false.           * equal(uref (!!x), x) = false.
64           *)           *)
65    
   
66      val update : 'a uref * 'a -> unit      val update : 'a uref * 'a -> unit
67          (* update(e, x) updates the contents of e to be x *)          (* update(e, x) updates the contents of e to be x *)
68    

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