Interface ConditionalType

interface ConditionalType {
    checkType:
        | ArrayType
        | ConditionalType
        | UnknownType
        | IndexedAccessType
        | InferredType
        | IntersectionType
        | IntrinsicType
        | LiteralType
        | MappedType
        | OptionalType
        | PredicateType
        | QueryType
        | ReferenceType
        | ReflectionType
        | RestType
        | TemplateLiteralType
        | TupleType
        | NamedTupleMemberType
        | TypeOperatorType
        | UnionType;
    extendsType: | ArrayType
    | ConditionalType
    | UnknownType
    | IndexedAccessType
    | InferredType
    | IntersectionType
    | IntrinsicType
    | LiteralType
    | MappedType
    | OptionalType
    | PredicateType
    | QueryType
    | ReferenceType
    | ReflectionType
    | RestType
    | TemplateLiteralType
    | TupleType
    | NamedTupleMemberType
    | TypeOperatorType
    | UnionType;
    falseType: | ArrayType
    | ConditionalType
    | UnknownType
    | IndexedAccessType
    | InferredType
    | IntersectionType
    | IntrinsicType
    | LiteralType
    | MappedType
    | OptionalType
    | PredicateType
    | QueryType
    | ReferenceType
    | ReflectionType
    | RestType
    | TemplateLiteralType
    | TupleType
    | NamedTupleMemberType
    | TypeOperatorType
    | UnionType;
    trueType: | ArrayType
    | ConditionalType
    | UnknownType
    | IndexedAccessType
    | InferredType
    | IntersectionType
    | IntrinsicType
    | LiteralType
    | MappedType
    | OptionalType
    | PredicateType
    | QueryType
    | ReferenceType
    | ReflectionType
    | RestType
    | TemplateLiteralType
    | TupleType
    | NamedTupleMemberType
    | TypeOperatorType
    | UnionType;
    type: "conditional";
}