4#include <gmock/gmock.h>
virtual U256Decomposition canon_dec(const FF &a)=0
~MockFieldGreaterThan() override
MOCK_METHOD(U256Decomposition, canon_dec,(const FF &a),(override))
MOCK_METHOD(bool, ff_gt,(const FF &a, const FF &b),(override))
AVM range check gadget for witness generation.