/**
* Number @type integer
*/
export type Int=number // @type integer
/**
* Number @type integer as signed 64-bit long integer.
*/
export type Long=number // @type integer @minimum -9223372036854775000 @maximum 9223372036854775000 @format int64
/**
* String @format date-time,
* as defined by RFC 3339, section 5.6,
* for example: 2014-05-22T10:42:42.542+00:00.
*/
export type DateTime=string // @format date-time
/**
* String @format date,
* as defined by RFC 3339, section 5.6,
* for example: 2017-07-21.
*/
export type DateOnly=string // @format date
/**
* Partial-time notation as defined by RFC 3339, section 5.6,
* for example, 23:59:59.
*/
export type TimeOnly=string // @format time
/**
* String @format uuid
* (even '@format uuid' is not specified).
*/
export type UUID=string // @format uuid
/**
* Number @format utc-millisec
* (even '@format utc-millisec' is not specified).
*/
export type UTC=number // @format utc-millisec