Idris2Doc : Core.Termination

Core.Termination

(source)
Definitions
checkIfGuarded : Ref Ctxt Defs => FC -> Name -> Core ()
  Visibility: export
checkTerminating : Ref Ctxt Defs => FC -> Name -> Core Terminating
  Visibility: export
checkPositive : Ref Ctxt Defs => FC -> Name -> Core Terminating
  Visibility: export
checkTotal : Ref Ctxt Defs => FC -> Name -> Core Terminating
  Visibility: export