Searched defs:projectee (Results 1 – 1 of 1) sorted by relevance
15 uint64_t FStar_UInt128___proj__Mkuint128__item__low(FStar_UInt128_uint128 projectee) in FStar_UInt128___proj__Mkuint128__item__low()20 uint64_t FStar_UInt128___proj__Mkuint128__item__high(FStar_UInt128_uint128 projectee) in FStar_UInt128___proj__Mkuint128__item__high()