Idris2Doc : Debug.Trace

Debug.Trace

trace : String -> a -> a
  Totality: total