let bool_of_option = function Some _ -> true | None -> false