Definition
/**
* @template T
*
* @param \Flow\Types\Type<T> $first
* @param Type<T> $second
* @param \Flow\Types\Type<T> ...$types
*
* @return IntersectionType<T, T>
*/
type_intersection(Type $first, Type $second, Type $types) : IntersectionType