We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bb6f565 commit b12d8afCopy full SHA for b12d8af
docs/docs/internals/type-system.md
@@ -57,7 +57,7 @@ Type -+- ProxyType --+- NamedType ----+--- TypeRef
57
`p.x.T` == `p.x.type#T` | `TypeRef(TermRef(p, x), T)`
58
`this.type` | `ThisType`
59
`A & B` | `AndType(A, B)`
60
- `A | B` | `OrType(A, B)`
+ <code>A \| B</code> | `OrType(A, B)`
61
`=> T` | `ExprType(T)`
62
`p { refinedName }` | `RefinedType(p, refinedName)`
63
type of the value `super` | `SuperType`
0 commit comments