/*
 * TYPEDEF: SE_ID
 *
 *   This data type is used to specify the ID field of instances of the
 *   <Camera Point>, <Feature ID>, and <Geometry ID> classes. An ID
 *   shall be unique within that class of objects for a given transmittal.
 */
typedef SE_Integer_Positive SE_ID;