Makes a Variant holding value; its type picks the case. variant(Shape, Circle.{ 1 }).
variant :: ($V: Type, value: $T) -> VMakes a Variant holding value; its type picks the case. variant(Shape, Circle.{ 1 }).
Parameters
- $V: Type
- value: $T
Returns
- V