Function minitt::type_check::check_declaration_main

pub fn check_declaration_main<'a>(
    declaration: Declaration
) -> TCM<(Gamma<'a>, Option<Telescope>)>

Similar to checkMain in Mini-TT, but for a declaration.