Syntax Lookup

Enter some language construct you want to know more about.
This is a covariant type parameter annotation.

Use a + variance annotation on a type parameter to mark it as covariant.

Example

ReScriptJS Output
type source<+'a> = unit => 'a

let fromValue = (x: 'a): source<'a> => () => x

References