patcheck.n

is_exhaustive : (Absyn.pat list) list -> bool checks whether a given pattern matrix is exhaustive or not.