Idris2Doc
: Core.Context.Data
Index
Default
Alternative
Black & White
Core.Context.Data
(
source
)
Definitions
addData
:
Ref
Ctxt
Defs
=>
Scope
->
Visibility
->
Int
->
DataDef
->
Core
Int
Visibility
:
export