Idris2Doc
: Compiler.Opts.InlineHeuristics
Index
Default
Alternative
Black & White
Compiler.Opts.InlineHeuristics
(
source
)
Definitions
inlineHeuristics
:
Ref
Ctxt
Defs
=>
Name
->
Core
()
Visibility
:
export