ML reference type ('a ref)

A mutable cell holding a value of type 'a. ref allocates a cell, ! reads it and := updates it. Aliases share the same cell; the value restriction prevents unsafe polymorphic mutable storage.

// Target: computer-science.bigb