module Abstract

export
frozen : ()
frozen = ()