vstd::prelude

Function get_union_field

pub fn get_union_field<Adt, Field>(_a: Adt, _field: &str) -> Field