Function skiff::static_checking::exhaustiveness::check_program_exhaustiveness

pub fn check_program_exhaustiveness(
    program: &Program, 
    type_table: &HashMap<usize, Term>
) -> Result<ProgramExhaustivenessReport, ExhaustivenessError>