tactic.interactive.apply_fun source