{-# OPTIONS --rewriting #-}

open import Algebra.Cost

module Calf (costMonoid : CostMonoid) where

open CostMonoid costMonoid

open import Calf.Prelude public
open import Calf.CBPV public
open import Calf.Directed public
open import Calf.Phase public
open import Calf.Step costMonoid public