(patch?: FooterPatch, view?: FooterView)
| 191 | } |
| 192 | |
| 193 | function patch(patch?: FooterPatch, view?: FooterView): FooterOutput | undefined { |
| 194 | if (!patch && !view) { |
| 195 | return undefined |
| 196 | } |
| 197 | |
| 198 | return { |
| 199 | patch, |
| 200 | view, |
| 201 | } |
| 202 | } |
| 203 | |
| 204 | function out(data: SessionData, commits: SessionCommit[], footer?: FooterOutput): SessionDataOutput { |
| 205 | if (!footer) { |