You should probably avoid duplicating these definitions in the docs. This is not really that relevant IMO