pub type IEnumTfLatticeElements = *mut c_void;