citizens.hs

template CitizenRole
 with
   operator : Party
   citizen : Party
   citizendetails : CitizenDetails
   verifiablecredentials : VerifiableCredentials
 where
   signatory operator, citizen
 
   key (operator, citizen) : (Party, Party)
   maintainer key._1
 
   controller citizen can
     nonconsuming RequestTest : ContractId TestRequest
       with
         healthclinic: Party
       do
         create TestRequest with healthclinic, citizen, operator