(output: IOutput)
| 16 | } |
| 17 | |
| 18 | function isStream(output: IOutput): output is IStream { |
| 19 | return output.output_type === 'stream' |
| 20 | } |
| 21 | |
| 22 | function isDisplayData(output: IOutput): output is IDisplayData { |
| 23 | return output.output_type === 'display_data' |