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