extension/schema/SessionInfo.d.ts


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/* eslint-disable */
/**
 * This file was automatically generated by json-schema-to-typescript.
 * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file,
 * and run json-schema-to-typescript to regenerate this file.
 */

export type SessionInfo = SessionInfo1;
export type SessionId = string;
export type Title = string;
export type DateCreated = string;
export type WorkspaceDirectory = string;

export interface SessionInfo1 {
  session_id: SessionId;
  title: Title;
  date_created: DateCreated;
  workspace_directory?: WorkspaceDirectory;
  [k: string]: unknown;
}