1structure Uref :> Uref = 2struct 3 4 datatype t = datatype ref 5 val new = ref 6 val op := = op := 7 val ! = ! 8 9end 10