Module Either
Constructs an Either type that is a disjoint union of two types.
Import path
import codeql.util.EitherPredicates
Classes
| Either | An either type. This is either a |
Parameters
| Left | TypeWithToString | |
| Right | TypeWithToString |
Constructs an Either type that is a disjoint union of two types.
import codeql.util.Either| Either | An either type. This is either a |
| Left | TypeWithToString | |
| Right | TypeWithToString |