idris-0.9.13: test/idrisdoc008/Abstract.idr

module Abstract

abstract
frozen : ()
frozen = ()