idris-1.3.3: test/interactive018/input.in
top_private 1 :t top_private top_visible 1 :t top_visible imported1_private 1 :t imported1_private imported1_visible 1 :t imported1_visible imported2_private 1 :t imported2_private imported2_visible 1 :t imported2_visible public1_private 1 :t public1_private public1_visible 1 :t public1_visible public2_private 1 :t public2_private public2_visible 1 :t public2_visible