Idris2Doc
: Compiler.CaseOpts
Index
Default
Alternative
Black & White
Compiler.CaseOpts
(
source
)
Definitions
caseLamDef
:
Ref
Ctxt
Defs
=>
Name
->
Core
()
Visibility
:
export
caseOfCase
:
CExp
vars
->
CExp
vars
Visibility
:
export