docs for IJsonTypeDef