[][src]Function nar::check::rules::decls::check_decls

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