let empty_other = List.fold_left (fun acc (opt_name,opt_fun) -> Datatype.String.Map.add opt_name (opt_fun ()) acc ) Datatype.String.Map.empty other_opts