idris-0.9.13: test/idrisdoc008/visibility.ipkg

package visibility

modules = Abstract, Visible