Function implemented by LUT

Hello,

Is there any way to find out what functions the LUT will implement when we synthesize the verilog code on the FPGA? [ For codes like adders , counters etc which are obvious we know before hand ... But I m not talking about an obvious case like that].

Thanks...