let
extension_of_string str =
PathOperation
.extension_of_string str