let
dir name contents =
Arch_dir
(name, (), contents)