an alternative definition of [dirtree] that avoids the depth counter
an alternative definition of [dirtree] that avoids the depth counter

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl