plain_from_dafny

Function plain_from_dafny 

Source
pub fn plain_from_dafny(dafny_value: &Shared) -> Shared