module M = struct let f x = x +1 end