INTERFACE SeqM3AST_AS_Used_def_id_rep = SeqElem_rep (SeqM3AST_AS_Used_def_id, M3AST_AS_Used_def_id) END SeqM3AST_AS_Used_def_id_rep.