let
path_of_string str =
List
.map f2s (
PathOperation
.path_of_string str)