a deref(Maybe<a> v)
Arguments
v: The value to dereference
Usage
Extract the value from a Maybe. An Exception is thrown if v is nothing. A case statemement is generally more appropriate unless it is known that the dereferencing should succeed (for example, using Dict::lookup on a key known to have been added). deref(x) is equivalent to x.val.
