Update service

diff --git a/src/Service.agda b/src/Service.agda
index 4044788c29e25c93462e90d855674f2c7799b618..aaee86e06b71b783ea07621badaa00a6f2d6a0f0 100644 (file)
--- a/src/Service.agda
+++ b/src/Service.agda
@@ -1,5 +1,6 @@
 module Service where
 
+open import Data.Nat using (ℕ)
 open import Data.List using (List)
 open import Data.String using (String)
 open import Data.Product using (_×_)
@@ -22,8 +23,8 @@ data Process : Set where
 
 data AliasingFunction : Set where
 
-Deployment : Set
-Deployment = AliasingFunction × Γ
+Deployment : {m : ℕ} → Set
+Deployment {m} = AliasingFunction × Ctx m
 
 data Service : Set where
-  service : Behaviour → Deployment → Process → Service
+  service : {m : ℕ} → Behaviour → Deployment {m} → Process → Service