VerifiableCredentials.hs

data VerifiableCredentials = VerifiableCredentials
 with
     connectionid : Text
     holder_did : Text
     issuer_did : Text
       deriving (Eq, Show)
    
controller healthClinic can
   nonconsuming SetVerifiableCredentials : ContractId CitizenCredentialsProposal
       with
         newverifiablecredentials : VerifiableCredentials
         citizen: Party
        
       do 
         create CitizenCredentialsProposal with citizen, verifiablecredentials = newverifiablecredentials