let
namei
name
=
if
name
=
"/"
then
!
root_inode
else
raise
(
File_system_exception
"File not found"
);;