message: Update lean4-infoview/src/infoview/rpcInterface.ts
diff: @@ -65,8 +65,8 @@ export async function InteractiveDiagnostics_infoToInteractive(rs: RpcSessions,
  }
  export interface InteractiveHypothesis {
  - isInstance: boolean,
  - isType: boolean,
  + isInstance?: boolean,
  + isType?: boolean,
  names: string[]
  type: CodeWithInfos
  val?: CodeWithInfos
  