Idris2Doc : Decidable.Equality

Decidable.Equality

Reexports

importpublic Decidable.Equality.Core as Decidable.Equality

Definitions