let t_opt_list_of_t_list l = None :: ( List.map (fun v -> Some v) l )