to_dafny

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