Module Pa_macro_gram

val must_flatten_opts : 'a list option list -> 'a list