fact: Definition arpo := Rof (transp VRPO.lt) (@vterm_of_aterm Sig).
imports: CoLoR(ATrs VPrecedence VRPO_Status VRPO_Results VTerm_of_ATerm ListUtil Preorder SN RelUtil ARelation VSignature LogicUtil) Coq(Arith Wellfounded)