-R . ListFromRight

foldl.v
foldl_issue.v
foldl_rl_only.v
rl.v
