let
is_parent path =
match
path
with
[
ParentDir
]
->
true
|
_
->
false