integer->user-id

[procedure] user-id? x

[procedure] user-id=? user-id0 user-id1

[procedure] user-id->integer user-id

[procedure] integer->user-id integer

Scheme48: operates on user-id type. See Concept:UserGroup, user-id->user-info.