idris-1.2.0: test/interactive018/Imported2.idr
module Imported1 imported2_private : a -> a imported2_private a = a export imported2_visible : a -> a imported2_visible a = a
module Imported1 imported2_private : a -> a imported2_private a = a export imported2_visible : a -> a imported2_visible a = a