K1: type1, K2: type2?
Or just allowing Union(type1, type2) to be either of type1, type2 directly?
Description
Description
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Open | DVrandecic | T282062 ZObject model: Add a key to Z3 to mark a key as optional | |||
Open | None | T290996 Support Optional Keys in Orchestrator | |||
Open | None | T314364 Use `data/definitions` Version of `Z983` in `function-orchestrator` Once We Have Unions | |||
Open | None | T292892 Function model: Introduce a Union generic type | |||
Open | DVrandecic | T296326 Discuss How to Implement Unions | |||
Resolved | AAssaf | T307699 Formalize the semantics of the function model |