Module Either
Constructs an Either
type that is a disjoint union of two types.
Import path
import codeql.util.Either
Predicates
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 |