from_dafny

pub fn from_dafny(
    dafny_value: &ECDSASignatureAlgorithm,
) -> EcdsaSignatureAlgorithm