Union case | Description |
Full Usage:
IsNoReturning
|
|
Full Usage:
IsReturning
|
|
Full Usage:
IsUndecidable
|