# A * 1: * (test_prog::Float::*) * 1: * (test_prog::Int::*) * 1: + (test_prog::Int::+) * 1: + (test_prog::Float::+) * 1: - (test_prog::Float::-) * 1: - (test_prog::Int::-) * 1: / (test_prog::Int::/) * 1: / (test_prog::Float::/) * 1: > (test_prog::Int::>) * 1: > (test_prog::Float::>)