Page MenuHomePhabricator

Function model: Introduce a Union generic type
Open, Needs TriagePublic

Description

Introduce a generic type Union which takes two types T1 and T2 as the arguments and whose instances are valid if they are valid instances of either T1 or T2.