Function adapton::catalog::collections::list_reverse
[−]
[src]
pub fn list_reverse<X: 'static, Le: 'static + ListElim<X>, Li: 'static + ListIntro<X>>(
l: Le,
rev: Li
) -> Li
Eagerly maps the list.
Uses (eager) memoization for each name in l.