Idris2Doc
: Decidable.Equality
Index
Default
Alternative
Black & White
Decidable.Equality
Reexports
import
public
Decidable.Equality.Core
as
Decidable.Equality
Definitions