# Module `Option.List`

`val flatten : 'a option list -> 'a list`

`List.flatten l`

is the list of all the`y`

s such that`l`

contains`Some y`

(in the same order).

`Option.List`

`val flatten : 'a option list -> 'a list`

`List.flatten l`

is the list of all the`y`

s such that`l`

contains`Some y`

(in the same order).