{-# OPTIONS --safe #-}
module Ledger.Conway.Specification.Test.Examples where

import Ledger.Conway.Specification.Test.Examples.SucceedIfNumber
import Ledger.Conway.Specification.Test.Examples.HelloWorld