idris-0.9.18: test/idrisdoc008/visibility.ipkg

package visibility

opts = "--quiet"

modules = Abstract, Visible