143     Variant(VecInRange<Option<Type>, 1, 200>),  enumerator
181             16 => Type::Variant(VecInRange::new(u, fuel, |u, fuel| {  in generate()
294             | Type::Variant(_)  in store_flat()
417             Type::Variant(v) => variant(  in store_flat_helper()
463             | Type::Variant(_)  in load_flat()
595             Type::Variant(v) => variant(  in load_flat_helper()
712             Type::Variant(types) => lower_variant(types.0.iter().map(|t| t.as_ref()), vec),  in lower()
754             Type::Variant(types) => variant_size_and_alignment(types.0.iter().map(|t| t.as_ref())),  in size_and_alignment()
1240         Type::Variant(types) => {  in rust_type()
1377             | Type::Variant(_)  in write_ref()
1436             Type::Variant(types) => {  in write_decl()