Idris2Doc : Core.Termination.References

Core.Termination.References

(source)
Definitions
totRefs : Ref Ctxt Defs => Defs -> List Name -> Core Terminating
  Visibility: export
totRefsIn : Ref Ctxt Defs => Defs -> Term vars -> Core Terminating
  Visibility: export