fungi_lang::vis
pub fn capture_traces<F>(f: F) -> (ExpTerm, Vec<Trace>) where F: FnOnce() -> ExpTerm,