to_dafny

aws_db_esdk::material_providers::conversions::symmetric_signature_algorithm

Function to_dafny 

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