val of_list : 'a option list -> 'a option
val value_raise : 'a option -> exn:exn -> 'a