[−][src]Function minitt::check::check_declaration_main
pub fn check_declaration_main<'a>(declaration: Declaration) -> TCM<TCS<'a>>
Similar to checkMain
in Mini-TT, but for a declaration.
pub fn check_declaration_main<'a>(declaration: Declaration) -> TCM<TCS<'a>>
Similar to checkMain
in Mini-TT, but for a declaration.