flix

0.67.2

Fixpoint3.Util

Definitions

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

Unwraps an option.

Causes runtime hole error when x is None.