Build boolean equality of a block of mutual inductive types
Sourceexception EqUnknown of string Sourceexception UndefinedCst of string Sourceexception InductiveWithProduct Sourceexception InductiveWithSort Sourceexception DecidabilityMutualNotSupported Sourceexception NoDecidabilityCoInductive Sourceexception DecidabilityIndicesNotSupported Sourceexception InternalDependencies Build decidability of equality