Function formality::term::get_nams_typs_bod

source · 
pub fn get_nams_typs_bod(term: &Term) -> (Vec<&Vec<u8>>, Vec<&Term>, &Term)