to_dafny

Function to_dafny 

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