:: deftheorem defines EdgeSelector GLIB_000:def 2 :
EdgeSelector = 2;