openAgent

1export * as PtyTicket from "./pty-ticket"
2 
3import { Schema } from "effect"
4import { PositiveInt } from "./schema"
5 
6export const ConnectToken = Schema.Struct({
7  ticket: Schema.String,
8  expires_in: PositiveInt,
9}).annotate({ identifier: "PtyTicket.ConnectToken" })
10export interface ConnectToken extends Schema.Schema.Type<typeof ConnectToken> {}
11