Module template

Jump to bottom

JKTKops edited this page Jul 14, 2021 · 3 revisions

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

-}

module ModuleName
    (
    ) where

import Prelude.Kore