idris-0.10.1: test/idrisdoc008/Abstract.idr

module Abstract

export
frozen : ()
frozen = ()