Function plain_from_dafny

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