MODULE SeqM3AST_AS_TYPE_SPEC EXPORTS SeqM3AST_AS_TYPE_SPEC, SeqM3AST_AS_TYPE_SPEC_rep = SeqElem (M3AST_AS_TYPE_SPEC) END SeqM3AST_AS_TYPE_SPEC.