Copyright (C) 1994, Digital Equipment Corp.
MODULE GenericSubTreeSelector = TypeSelector(GenericSubTree) END GenericSubTreeSelector.