Function reduce_recursor 

pub fn reduce_recursor(_rec_name: &Name, _args: &[Expr]) -> Option<Expr>

Reduce a recursor application (iota-reduction).

This is the legacy API. The new implementation is in reduce.rs.