MODULE SeqM3AST_AS_Binding EXPORTS SeqM3AST_AS_Binding, SeqM3AST_AS_Binding_rep = SeqElem (M3AST_AS_Binding) END SeqM3AST_AS_Binding.