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.