flix
Utility functions for the fixpoint solver.
def getOrCrash(x: Option[a]): a
Unwraps an option.
Causes runtime hole error when x is None.
x
None