Function fungi_lang::subst::fv_of_effect

source ·
pub fn fv_of_effect(_ct: &Effect, _bound: Vec<Term>, _out: &mut Vec<Term>)