kdrag.theories.option.get

kdrag.theories.option.get(x: DatatypeRef, default: ExprRef) → ExprRef

Get the value of an Option, or a default value if it is None_ >>> get(Some(42), 0) If(is(Some, Some(42)), val(Some(42)), 0)

Parameters: