Idris2Doc
: Syntax.IHateParens.Fin
Index
Default
Alternative
Black & White
Syntax.IHateParens.Fin
(
source
)
Reexports
import
public
Data.Fin
Definitions
.asNat
:
Fin
n
->
Nat
Totality
:
total
Visibility
:
public export