add defs module