from_dafny

pub fn from_dafny(
    dafny_value: Rc<EncryptedDataKeyDescription>,
) -> EncryptedDataKeyDescription