{-# OPTIONS --rewriting #-}

module Examples.Amortized where

import Examples.Amortized.Simple
import Examples.Amortized.Queue
import Examples.Amortized.DynamicArray