export type HostId = string ; export type KernelId = string ; export type SessionId = string ; export const castToHostId = ( id ) : HostId => id ; export const castToKernelId = ( id ) : KernelId => id ; export const castToSessionId = ( id ) : SessionId => id ;