flix

0.72.0

Fixpoint3.Util

Definitions

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

Unwraps an option.

Causes runtime hole error when x is None.