Skip to main content

check_decls

Function check_decls 

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