Idris2Doc : Core.Termination

Core.Termination

(source)

Definitions

checkIfGuarded : RefCtxtDefs=>FC->Name->Core ()
Visibility: export
checkTerminating : RefCtxtDefs=>FC->Name->CoreTerminating
Visibility: export
checkPositive : RefCtxtDefs=>FC->Name->CoreTerminating
Visibility: export
checkTotal : RefCtxtDefs=>FC->Name->CoreTerminating
Visibility: export