E
fficient_
W
eighted_
P
ath_
O
rder
Indexed_Term
List_Memo_Functions
WPO_Approx
WPO_Mem_Impl
RPO_Unbounded
RPO_Mem_Impl