idris-0.10.1: test/idrisdoc008/Visible.idr

module Visible

public export
visible : ()
visible = ()