Lines Matching refs:Variant
87 Variant(String, Option<Box<Val>>), enumerator
151 InterfaceType::Variant(i) => { in lift()
161 Val::Variant(k.clone(), value) in lift()
288 InterfaceType::Variant(i) => { in load()
294 Val::Variant(k.clone(), value) in load()
468 (InterfaceType::Variant(ty), Val::Variant(n, v)) => { in lower()
471 (InterfaceType::Variant(_), _) => unexpected(ty, self), in lower()
619 (InterfaceType::Variant(ty), Val::Variant(n, v)) => { in store()
622 (InterfaceType::Variant(_), _) => unexpected(ty, self), in store()
697 Val::Variant(..) => "variant", in desc()
774 (Self::Variant(ln, lv), Self::Variant(rn, rv)) => ln == rn && lv == rv, in eq()
775 (Self::Variant(..), _) => false, in eq()