Idris2Doc
: TTImp.Elab.Prim
Index
Default
Alternative
Black & White
TTImp.Elab.Prim
(
source
)
Definitions
checkPrim
:
FC
->
Constant
->
(
Term
vars
,
Term
vars
)
Totality
:
total
Visibility
:
export