Module template

{- |
Copyright   : (c) Runtime Verification, 2021
License     : BSD-3-Clause

-}

module ModuleName
    (
    ) where

import Prelude.Kore