B2R2


NoReturnDecision Type

Union cases

Union case Description

IsNoReturning

Full Usage: IsNoReturning

IsReturning

Full Usage: IsReturning

IsUndecidable

Full Usage: IsUndecidable