flix

0.70.0

Fixpoint3.Util

Definitions

def getOrCrash(x: Option[a]): a Source

Unwraps an option.

Causes runtime hole error when x is None.