src/doc/term/tests/test_term.sav/test_return.res

   1 Methods returning `test_prog::Int`:
   2
   3  + test_prog::Int::*
   4    intern fun *(i: Int): Int
   5    test_location
   6
   7  + test_prog::Int::+
   8    intern fun +(i: Int): Int
   9    test_location
  10
  11  + test_prog::Int::-
  12    intern fun -(i: Int): Int
  13    test_location
  14