-- Description of variant loop class VARIANT_AS inherit TAGGED_AS feature end