Class GT.eval_int_t

constraint 'a = int
method t_int : 'env -> int -> int