I would just say they’re an API definition language for people. I wouldn’t call it OpenAPI. First of all, it’s even worse here, because open APIs were traditionally used -- I still think badly -- to simply mean, "Our API is documented."