From: Eugene Akentyev Date: Wed, 7 Dec 2016 13:41:23 +0000 (+0300) Subject: Update service X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=20163ca20a797873fdc98a59260c379631ae9db4;p=jolie.agda.git Update service --- diff --git a/src/Service.agda b/src/Service.agda index 4044788..aaee86e 100644 --- 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