Searched defs:FStar_UInt128_sub_underspec (Results 1 – 3 of 3) sorted by relevance
63 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_underspec() function
65 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_underspec() function