to_dafny

pub fn to_dafny(value: EcdsaSignatureAlgorithm) -> Rc<ECDSASignatureAlgorithm>