then F.dirname str, F.chop_extension (F.basename str)
else if H.is_dir str then str, ""
else missing str
in
let rec aux bdir file = match B.find_roots_in_dir bdir with
then F.dirname str, F.chop_extension (F.basename str)
else if H.is_dir str then str, ""
else missing str
in
let rec aux bdir file = match B.find_roots_in_dir bdir with