------------------------------------------------------------------------
-- INCREMENTAL λ-CALCULUS
--
-- Simply-typed changes with the Nehemiah plugin.
------------------------------------------------------------------------

module Nehemiah.Change.Type where

open import Nehemiah.Syntax.Type

import Parametric.Change.Type Base as ChangeType

ΔBase : ChangeType.Structure
ΔBase base-int = base-int
ΔBase base-bag = base-bag

open ChangeType.Structure ΔBase public