Idris2Doc
: Core.Termination.CallGraph
Index
Default
Alternative
Black & White
Core.Termination.CallGraph
(
source
)
Definitions
calculateSizeChange
:
Ref
Ctxt
Defs
=>
FC
->
Name
->
Core
(
List
SCCall
)
Visibility
:
export