Function to_dafny

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