Idris2Doc
: Data.Fin.Interpolation
Index
Default
Alternative
Black & White
Data.Fin.Interpolation
(
source
)
Reexports
import
public
Data.Fin
Definitions
FromShow
:
Interpolation
(
Fin
n
)
Totality
:
total
Visibility
:
export