Provides a tactic for solving constructor disjointness goals.
Solve a goal of the form (C1 x1 x2 ... xn = C2 x1 x2 ... xn) -> Void for disjoint constructors C1 and C2.
(C1 x1 x2 ... xn = C2 x1 x2 ... xn) -> Void
C1
C2