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 equivalence between boolean equality and Leibniz equality
Build decidability of equality