Search results for ``:

 + test_prog::Int::*
   intern fun *(i: Int): Int
   test_location