from_dafny

pub fn from_dafny(dafny_value: Rc<EdkWrappingAlgorithm>) -> EdkWrappingAlgorithm