Type

session-id

Unique identifier for an active session, returned by new-session.

type session-id = session-id;