blob: 12389322b0c3a7fefd4e698b740aa52daedc56ea (
plain)
1
2
3
4
5
6
7
8
9
10
|
datatype option a = None | Some of a
val none : option int = None
val some_1 : option int = Some 1
val f = fn t ::: Type => fn x : option t =>
case x of None => None | Some x => Some (Some x)
val none_again = f none
val some_1_again = f some_1
|