from_dafny

Function from_dafny 

Source
pub fn from_dafny(dafny_value: &PlaintextOverride) -> PlaintextOverride