session-id

Session identifier (cryptographic hash)

type session-id = session-id;