category documentation {
  class_type_comment = true;
}
