|
|
@ -1,4 +1,4 @@
|
|
|
|
let rec deoptionalise = function
|
|
|
|
let rec deoptionalise = function
|
|
|
|
| (Some x) :: xs -> x :: deoptionalise xs
|
|
|
|
| Some x :: xs -> x :: deoptionalise xs
|
|
|
|
| None :: xs -> deoptionalise xs
|
|
|
|
| None :: xs -> deoptionalise xs
|
|
|
|
| [] -> []
|
|
|
|
| [] -> []
|
|
|
|