let
fold_right l ~f ~init =
fold ~f:(
fun
a b
->
f b a) ~init (
List
.rev l)