voile::check::decl
pub fn check_decls(tcs: TCS, decls: Vec<AbsDecl>) -> TCM
Checking a list of declarations.