method
select (dir : string) = (box
#
display_dir (
Some
dir) : unit)