mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-12-23 09:19:50 +00:00
7 lines
162 B
Text
7 lines
162 B
Text
/// An optional value.
|
|
data Option(a: Type) {
|
|
/// No value
|
|
None(a: Type): Option(a),
|
|
/// Some value of type `a`
|
|
Some(a: Type, x: a): Option(a),
|
|
}
|