to_dafny

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