(a: Kind, b: Kind)
| 1266 | } |
| 1267 | |
| 1268 | function composeKind(a: Kind, b: Kind): Kind { |
| 1269 | if (a === "Iso") return b |
| 1270 | if (b === "Iso" || a === b) return a |
| 1271 | return "Optional" |
| 1272 | } |
| 1273 | // --------------------------------------------- |
| 1274 | // Derived APIs |
| 1275 | // --------------------------------------------- |