Add doc string for defs