Function fungi_lang::reduce::reduce

pub fn reduce(sys: &SysCfg, stk: Vec<Frame>, env: EnvRec, exp: Exp) -> ExpTerm

Perform reduction steps (via step) until irreducible.

Reduces the current configuration until it is irreducible. This process will (generally) both push and pop the configuration's stack; it will entirely consume the initial stack frames, if any, before returning control.