val transl_constant : (Obj.t * Lambda.lambda) list -> Obj.t -> Lambda.lambda