to_dafny

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