Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "lib", default: None, }, ], }, ), body: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "imports", span: Span { start: Position { line: 4, column: 3, }, end: Position { line: 4, column: 10, }, }, }, ), ], to: List( List { elements: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 5, column: 6, }, end: Position { line: 5, column: 9, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mkRemovedOptionModule", span: Span { start: Position { line: 5, column: 10, }, end: Position { line: 5, column: 31, }, }, }, ), ], default: None, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "security", span: Span { start: Position { line: 5, column: 35, }, end: Position { line: 5, column: 43, }, }, }, ), ], span: Span { start: Position { line: 5, column: 34, }, end: Position { line: 5, column: 44, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "klogd", span: Span { start: Position { line: 5, column: 46, }, end: Position { line: 5, column: 51, }, }, }, ), ], span: Span { start: Position { line: 5, column: 45, }, end: Position { line: 5, column: 52, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 5, column: 54, }, end: Position { line: 5, column: 60, }, }, }, ), ], span: Span { start: Position { line: 5, column: 53, }, end: Position { line: 5, column: 61, }, }, }, ), ], span: Span { start: Position { line: 5, column: 32, }, end: Position { line: 5, column: 63, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Logging of kernel messages is now handled by systemd.\n", span: Span { start: Position { line: 6, column: 1, }, end: Position { line: 7, column: 5, }, }, }, ), ], span: Span { start: Position { line: 5, column: 64, }, end: Position { line: 7, column: 7, }, }, }, ), ], }, ), ], span: Span { start: Position { line: 4, column: 13, }, end: Position { line: 8, column: 4, }, }, }, ), }, ), ], span: Span { start: Position { line: 3, column: 1, }, end: Position { line: 9, column: 2, }, }, }, ), span: Span { start: Position { line: 1, column: 1, }, end: Position { line: 9, column: 2, }, }, }, )