[][src]Function voile::check::decl::check_decls

pub fn check_decls(tcs: TCS, decls: Vec<AbsDecl>) -> TCM