"talin at acm dot org" <viridia at gmail.com> writes: > membership within a container -- instead we're testing for membership > with a type hierarchy, where 'type' can be defined to mean whatever the > programmer wants. Well, if "type" means a (possibly infinite) set of objects, then you can use "in". E.g, "3 in int".