Idris2Doc
: Core.Termination.Positivity
Index
Default
Alternative
Black & White
Core.Termination.Positivity
(
source
)
Definitions
calcPositive
:
Ref
Ctxt
Defs
=>
FC
->
Name
->
Core
(
Terminating
,
List
Name
)
Visibility
:
export