Searched defs:tym (Results 1 – 1 of 1) sorted by relevance
196 ULong tym : SCALARTS_N_TYMBITS; member2274 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym ) in VTS__singleton()3491 static VtsID VtsID__mk_Singleton ( Thr* thr, ULong tym ) { in VtsID__mk_Singleton()