sig class dir_view : string -> Gdir.gdir end