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

   1 No result found for ``...
   2
   3 Did you mean?
   4
   5  + test_prog::Int::*
   6    intern fun *(i: Int): Int
   7    test_location
   8
   9  + test_prog::Float::*
  10    intern fun *(f: Float): Float
  11    test_location
  12
  13  + test_prog::Float::+
  14    intern fun +(f: Float): Float
  15    test_location
  16
  17