Is there somewhere these types are defined, like some reference? Or do they have any other name? The current choice seems fairly arbitrary, and the only way to figure out what it means is to look at the comments in the code.