-No result found for ``...
-
-Did you mean?
-
- + test_prog::Int::*
- intern fun *(i: Int): Int
- test_location
-
- + test_prog::Float::*
- intern fun *(f: Float): Float
- test_location
-
- + test_prog::Float::+
- intern fun +(f: Float): Float
- test_location
-
+Error: Empty command name