(indentation: number)
| 79 | |
| 80 | /** @internal */ |
| 81 | export const line = <A>(indentation: number): DocTreeToken<A> => { |
| 82 | const op = Object.create(proto) |
| 83 | op._tag = "LineToken" |
| 84 | op.indentation = indentation |
| 85 | return op |
| 86 | } |
| 87 | |
| 88 | /** @internal */ |
| 89 | export const pushAnnotation = <A>(annotation: A): DocTreeToken<A> => { |