to_dafny

pub fn to_dafny(
    value: &EncryptedDataKeyDescription,
) -> Rc<EncryptedDataKeyDescription>