Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "lib", default: None, }, FunctionHeadDestructuredArgument { identifier: "pkgs", default: None, }, FunctionHeadDestructuredArgument { identifier: "config", default: None, }, ], }, ), body: With( With { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 3, column: 6, }, end: Position { line: 3, column: 9, }, }, }, ), target: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "cfg", span: Span { start: Position { line: 6, column: 3, }, end: Position { line: 6, column: 6, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 6, column: 9, }, end: Position { line: 6, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 6, column: 16, }, end: Position { line: 6, column: 24, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 6, column: 25, }, end: Position { line: 6, column: 37, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "stateDir", span: Span { start: Position { line: 7, column: 3, }, end: Position { line: 7, column: 11, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/var/lib/public-inbox", span: Span { start: Position { line: 7, column: 15, }, end: Position { line: 7, column: 36, }, }, }, ), ], span: Span { start: Position { line: 7, column: 14, }, end: Position { line: 7, column: 37, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "gitIni", span: Span { start: Position { line: 9, column: 3, }, end: Position { line: 9, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 9, column: 12, }, end: Position { line: 9, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "formats", span: Span { start: Position { line: 9, column: 17, }, end: Position { line: 9, column: 24, }, }, }, ), Raw( PartRaw { content: "gitIni", span: Span { start: Position { line: 9, column: 25, }, end: Position { line: 9, column: 31, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "listsAsDuplicateKeys", span: Span { start: Position { line: 9, column: 34, }, end: Position { line: 9, column: 54, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 9, column: 57, }, end: Position { line: 9, column: 61, }, }, }, ), }, ), ], span: Span { start: Position { line: 9, column: 32, }, end: Position { line: 9, column: 64, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "iniAtom", span: Span { start: Position { line: 10, column: 3, }, end: Position { line: 10, column: 10, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "elemAt", span: Span { start: Position { line: 10, column: 13, }, end: Position { line: 10, column: 19, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "gitIni", span: Span { start: Position { line: 10, column: 20, }, end: Position { line: 10, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 10, column: 27, }, end: Position { line: 10, column: 31, }, }, }, ), Raw( PartRaw { content: "functor", span: Span { start: Position { line: 10, column: 43, }, end: Position { line: 10, column: 50, }, }, }, ), Raw( PartRaw { content: "wrapped", span: Span { start: Position { line: 10, column: 51, }, end: Position { line: 10, column: 58, }, }, }, ), Raw( PartRaw { content: "functor", span: Span { start: Position { line: 10, column: 70, }, end: Position { line: 10, column: 77, }, }, }, ), Raw( PartRaw { content: "wrapped", span: Span { start: Position { line: 10, column: 78, }, end: Position { line: 10, column: 85, }, }, }, ), Raw( PartRaw { content: "functor", span: Span { start: Position { line: 10, column: 96, }, end: Position { line: 10, column: 103, }, }, }, ), Raw( PartRaw { content: "wrapped", span: Span { start: Position { line: 10, column: 104, }, end: Position { line: 10, column: 111, }, }, }, ), ], default: None, }, ), Integer( Integer { value: "0", span: Span { start: Position { line: 10, column: 112, }, end: Position { line: 10, column: 113, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "useSpamAssassin", span: Span { start: Position { line: 12, column: 3, }, end: Position { line: 12, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 12, column: 21, }, end: Position { line: 12, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 12, column: 25, }, end: Position { line: 12, column: 33, }, }, }, ), Raw( PartRaw { content: "publicinboxmda", span: Span { start: Position { line: 12, column: 34, }, end: Position { line: 12, column: 48, }, }, }, ), Raw( PartRaw { content: "spamcheck", span: Span { start: Position { line: 12, column: 49, }, end: Position { line: 12, column: 58, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "spamc", span: Span { start: Position { line: 12, column: 63, }, end: Position { line: 12, column: 68, }, }, }, ), ], span: Span { start: Position { line: 12, column: 62, }, end: Position { line: 12, column: 69, }, }, }, ), }, ), operator: LogicalOr, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 13, column: 21, }, end: Position { line: 13, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 13, column: 25, }, end: Position { line: 13, column: 33, }, }, }, ), Raw( PartRaw { content: "publicinboxwatch", span: Span { start: Position { line: 13, column: 34, }, end: Position { line: 13, column: 50, }, }, }, ), Raw( PartRaw { content: "spamcheck", span: Span { start: Position { line: 13, column: 51, }, end: Position { line: 13, column: 60, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "spamc", span: Span { start: Position { line: 13, column: 65, }, end: Position { line: 13, column: 70, }, }, }, ), ], span: Span { start: Position { line: 13, column: 64, }, end: Position { line: 13, column: 71, }, }, }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "publicInboxDaemonOptions", span: Span { start: Position { line: 15, column: 3, }, end: Position { line: 15, column: 27, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "proto", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "defaultPort", }, ), body: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "args", span: Span { start: Position { line: 16, column: 5, }, end: Position { line: 16, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 16, column: 12, }, end: Position { line: 16, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 17, column: 7, }, end: Position { line: 17, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 17, column: 19, }, end: Position { line: 17, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 17, column: 26, }, end: Position { line: 17, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 17, column: 33, }, end: Position { line: 17, column: 36, }, }, }, ), ], }, ), span: Span { start: Position { line: 17, column: 14, }, end: Position { line: 17, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 18, column: 7, }, end: Position { line: 18, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 18, column: 17, }, end: Position { line: 18, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 19, column: 7, }, end: Position { line: 19, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 19, column: 21, }, end: Position { line: 19, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 19, column: 25, }, end: Position { line: 19, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Command-line arguments to pass to {manpage}`public-inbox-", span: Span { start: Position { line: 19, column: 32, }, end: Position { line: 19, column: 97, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 19, column: 91, }, end: Position { line: 19, column: 96, }, }, }, ), }, ), Raw( PartRaw { content: "d(1)`.", span: Span { start: Position { line: 19, column: 32, }, end: Position { line: 19, column: 103, }, }, }, ), ], span: Span { start: Position { line: 19, column: 31, }, end: Position { line: 19, column: 104, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 16, column: 21, }, end: Position { line: 20, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "port", span: Span { start: Position { line: 21, column: 5, }, end: Position { line: 21, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 21, column: 12, }, end: Position { line: 21, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 22, column: 7, }, end: Position { line: 22, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 22, column: 19, }, end: Position { line: 22, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 22, column: 26, }, end: Position { line: 22, column: 32, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "either", span: Span { start: Position { line: 22, column: 34, }, end: Position { line: 22, column: 40, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 22, column: 41, }, end: Position { line: 22, column: 44, }, }, }, ), Identifier( Identifier { id: "port", span: Span { start: Position { line: 22, column: 45, }, end: Position { line: 22, column: 49, }, }, }, ), ], }, ), ], }, ), span: Span { start: Position { line: 22, column: 14, }, end: Position { line: 22, column: 50, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 23, column: 7, }, end: Position { line: 23, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "defaultPort", span: Span { start: Position { line: 23, column: 17, }, end: Position { line: 23, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 24, column: 7, }, end: Position { line: 24, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 24, column: 21, }, end: Position { line: 24, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 24, column: 25, }, end: Position { line: 24, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Listening port.\nBeware that public-inbox uses well-known ports number to decide whether to enable TLS or not.\nSet to null and use `systemd.sockets.public-inbox-", span: Span { start: Position { line: 25, column: 1, }, end: Position { line: 27, column: 59, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 27, column: 61, }, end: Position { line: 27, column: 66, }, }, }, ), }, ), Raw( PartRaw { content: "d.listenStreams`\nif you need a more advanced listening.\n", span: Span { start: Position { line: 25, column: 1, }, end: Position { line: 29, column: 7, }, }, }, ), ], span: Span { start: Position { line: 24, column: 31, }, end: Position { line: 29, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 21, column: 21, }, end: Position { line: 30, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "cert", span: Span { start: Position { line: 31, column: 5, }, end: Position { line: 31, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 31, column: 12, }, end: Position { line: 31, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 32, column: 7, }, end: Position { line: 32, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 32, column: 19, }, end: Position { line: 32, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 32, column: 26, }, end: Position { line: 32, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 32, column: 33, }, end: Position { line: 32, column: 36, }, }, }, ), ], }, ), span: Span { start: Position { line: 32, column: 14, }, end: Position { line: 32, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 33, column: 7, }, end: Position { line: 33, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 33, column: 17, }, end: Position { line: 33, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 34, column: 7, }, end: Position { line: 34, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/path/to/fullchain.pem", span: Span { start: Position { line: 34, column: 18, }, end: Position { line: 34, column: 40, }, }, }, ), ], span: Span { start: Position { line: 34, column: 17, }, end: Position { line: 34, column: 41, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 35, column: 7, }, end: Position { line: 35, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 35, column: 21, }, end: Position { line: 35, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 35, column: 25, }, end: Position { line: 35, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to TLS certificate to use for connections to {manpage}`public-inbox-", span: Span { start: Position { line: 35, column: 32, }, end: Position { line: 35, column: 113, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 35, column: 107, }, end: Position { line: 35, column: 112, }, }, }, ), }, ), Raw( PartRaw { content: "d(1)`.", span: Span { start: Position { line: 35, column: 32, }, end: Position { line: 35, column: 119, }, }, }, ), ], span: Span { start: Position { line: 35, column: 31, }, end: Position { line: 35, column: 120, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 31, column: 21, }, end: Position { line: 36, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "key", span: Span { start: Position { line: 37, column: 5, }, end: Position { line: 37, column: 8, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 37, column: 11, }, end: Position { line: 37, column: 19, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 38, column: 7, }, end: Position { line: 38, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 38, column: 19, }, end: Position { line: 38, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 38, column: 26, }, end: Position { line: 38, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 38, column: 33, }, end: Position { line: 38, column: 36, }, }, }, ), ], }, ), span: Span { start: Position { line: 38, column: 14, }, end: Position { line: 38, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 39, column: 7, }, end: Position { line: 39, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 39, column: 17, }, end: Position { line: 39, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 40, column: 7, }, end: Position { line: 40, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/path/to/key.pem", span: Span { start: Position { line: 40, column: 18, }, end: Position { line: 40, column: 34, }, }, }, ), ], span: Span { start: Position { line: 40, column: 17, }, end: Position { line: 40, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 41, column: 7, }, end: Position { line: 41, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 41, column: 21, }, end: Position { line: 41, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 41, column: 25, }, end: Position { line: 41, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to TLS key to use for connections to {manpage}`public-inbox-", span: Span { start: Position { line: 41, column: 32, }, end: Position { line: 41, column: 105, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 41, column: 99, }, end: Position { line: 41, column: 104, }, }, }, ), }, ), Raw( PartRaw { content: "d(1)`.", span: Span { start: Position { line: 41, column: 32, }, end: Position { line: 41, column: 111, }, }, }, ), ], span: Span { start: Position { line: 41, column: 31, }, end: Position { line: 41, column: 112, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 37, column: 20, }, end: Position { line: 42, column: 6, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 15, column: 50, }, end: Position { line: 43, column: 4, }, }, }, ), span: Span { start: Position { line: 15, column: 37, }, end: Position { line: 43, column: 4, }, }, }, ), span: Span { start: Position { line: 15, column: 30, }, end: Position { line: 43, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 45, column: 3, }, end: Position { line: 45, column: 16, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "srv", }, ), body: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "proto", span: Span { start: Position { line: 46, column: 9, }, end: Position { line: 46, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "removeSuffix", span: Span { start: Position { line: 46, column: 17, }, end: Position { line: 46, column: 29, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "d", span: Span { start: Position { line: 46, column: 31, }, end: Position { line: 46, column: 32, }, }, }, ), ], span: Span { start: Position { line: 46, column: 30, }, end: Position { line: 46, column: 33, }, }, }, ), Identifier( Identifier { id: "srv", span: Span { start: Position { line: 46, column: 34, }, end: Position { line: 46, column: 37, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "needNetwork", span: Span { start: Position { line: 47, column: 9, }, end: Position { line: 47, column: 20, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "builtins", span: Span { start: Position { line: 47, column: 23, }, end: Position { line: 47, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "hasAttr", span: Span { start: Position { line: 47, column: 32, }, end: Position { line: 47, column: 39, }, }, }, ), ], default: None, }, ), arguments: [ Identifier( Identifier { id: "proto", span: Span { start: Position { line: 47, column: 40, }, end: Position { line: 47, column: 45, }, }, }, ), Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 47, column: 46, }, end: Position { line: 47, column: 49, }, }, }, ), ], }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 47, column: 53, }, end: Position { line: 47, column: 56, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 47, column: 59, }, end: Position { line: 47, column: 64, }, }, }, ), }, ), Raw( PartRaw { content: "port", span: Span { start: Position { line: 47, column: 66, }, end: Position { line: 47, column: 70, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 47, column: 74, }, end: Position { line: 47, column: 78, }, }, }, ), }, ), }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 49, column: 5, }, end: Position { line: 49, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Environment", span: Span { start: Position { line: 51, column: 7, }, end: Position { line: 51, column: 18, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "PERL_INLINE_DIRECTORY=/run/public-inbox-", span: Span { start: Position { line: 51, column: 24, }, end: Position { line: 51, column: 70, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "srv", span: Span { start: Position { line: 51, column: 66, }, end: Position { line: 51, column: 69, }, }, }, ), }, ), Raw( PartRaw { content: "/perl-inline", span: Span { start: Position { line: 51, column: 24, }, end: Position { line: 51, column: 82, }, }, }, ), ], span: Span { start: Position { line: 51, column: 23, }, end: Position { line: 51, column: 83, }, }, }, ), ], span: Span { start: Position { line: 51, column: 21, }, end: Position { line: 51, column: 85, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "NonBlocking", span: Span { start: Position { line: 54, column: 7, }, end: Position { line: 54, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 54, column: 21, }, end: Position { line: 54, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "User", span: Span { start: Position { line: 56, column: 7, }, end: Position { line: 56, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 56, column: 14, }, end: Position { line: 56, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 56, column: 21, }, end: Position { line: 56, column: 26, }, }, }, ), Raw( PartRaw { content: "users", span: Span { start: Position { line: 56, column: 27, }, end: Position { line: 56, column: 32, }, }, }, ), Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 56, column: 34, }, end: Position { line: 56, column: 46, }, }, }, ), ], span: Span { start: Position { line: 56, column: 33, }, end: Position { line: 56, column: 47, }, }, }, ), }, ), Raw( PartRaw { content: "name", span: Span { start: Position { line: 56, column: 48, }, end: Position { line: 56, column: 52, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Group", span: Span { start: Position { line: 57, column: 7, }, end: Position { line: 57, column: 12, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 57, column: 15, }, end: Position { line: 57, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 57, column: 22, }, end: Position { line: 57, column: 27, }, }, }, ), Raw( PartRaw { content: "groups", span: Span { start: Position { line: 57, column: 28, }, end: Position { line: 57, column: 34, }, }, }, ), Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 57, column: 36, }, end: Position { line: 57, column: 48, }, }, }, ), ], span: Span { start: Position { line: 57, column: 35, }, end: Position { line: 57, column: 49, }, }, }, ), }, ), Raw( PartRaw { content: "name", span: Span { start: Position { line: 57, column: 50, }, end: Position { line: 57, column: 54, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RuntimeDirectory", span: Span { start: Position { line: 58, column: 7, }, end: Position { line: 58, column: 23, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-", span: Span { start: Position { line: 59, column: 12, }, end: Position { line: 59, column: 31, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "srv", span: Span { start: Position { line: 59, column: 27, }, end: Position { line: 59, column: 30, }, }, }, ), }, ), Raw( PartRaw { content: "/perl-inline", span: Span { start: Position { line: 59, column: 12, }, end: Position { line: 59, column: 43, }, }, }, ), ], span: Span { start: Position { line: 59, column: 11, }, end: Position { line: 59, column: 44, }, }, }, ), ], span: Span { start: Position { line: 58, column: 26, }, end: Position { line: 60, column: 10, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RuntimeDirectoryMode", span: Span { start: Position { line: 61, column: 7, }, end: Position { line: 61, column: 27, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "700", span: Span { start: Position { line: 61, column: 31, }, end: Position { line: 61, column: 34, }, }, }, ), ], span: Span { start: Position { line: 61, column: 30, }, end: Position { line: 61, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "UMask", span: Span { start: Position { line: 64, column: 7, }, end: Position { line: 64, column: 12, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "0066", span: Span { start: Position { line: 64, column: 16, }, end: Position { line: 64, column: 20, }, }, }, ), ], span: Span { start: Position { line: 64, column: 15, }, end: Position { line: 64, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "StateDirectory", span: Span { start: Position { line: 65, column: 7, }, end: Position { line: 65, column: 21, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 65, column: 26, }, end: Position { line: 65, column: 38, }, }, }, ), ], span: Span { start: Position { line: 65, column: 25, }, end: Position { line: 65, column: 39, }, }, }, ), ], span: Span { start: Position { line: 65, column: 24, }, end: Position { line: 65, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "StateDirectoryMode", span: Span { start: Position { line: 66, column: 7, }, end: Position { line: 66, column: 25, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "0750", span: Span { start: Position { line: 66, column: 29, }, end: Position { line: 66, column: 33, }, }, }, ), ], span: Span { start: Position { line: 66, column: 28, }, end: Position { line: 66, column: 34, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "WorkingDirectory", span: Span { start: Position { line: 67, column: 7, }, end: Position { line: 67, column: 23, }, }, }, ), ], to: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 67, column: 26, }, end: Position { line: 67, column: 34, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "BindReadOnlyPaths", span: Span { start: Position { line: 68, column: 7, }, end: Position { line: 68, column: 24, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "/etc", span: Span { start: Position { line: 69, column: 12, }, end: Position { line: 69, column: 16, }, }, }, ), ], span: Span { start: Position { line: 69, column: 11, }, end: Position { line: 69, column: 17, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "/run/systemd", span: Span { start: Position { line: 70, column: 12, }, end: Position { line: 70, column: 24, }, }, }, ), ], span: Span { start: Position { line: 70, column: 11, }, end: Position { line: 70, column: 25, }, }, }, ), String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 71, column: 14, }, end: Position { line: 71, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "i18n", span: Span { start: Position { line: 71, column: 21, }, end: Position { line: 71, column: 25, }, }, }, ), Raw( PartRaw { content: "glibcLocales", span: Span { start: Position { line: 71, column: 26, }, end: Position { line: 71, column: 38, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 71, column: 11, }, end: Position { line: 71, column: 40, }, }, }, ), ], span: Span { start: Position { line: 68, column: 27, }, end: Position { line: 72, column: 10, }, }, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 73, column: 9, }, end: Position { line: 73, column: 23, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "name", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "inbox", }, ), body: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 73, column: 38, }, end: Position { line: 73, column: 43, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 73, column: 44, }, end: Position { line: 73, column: 55, }, }, }, ), ], default: None, }, ), span: Span { start: Position { line: 73, column: 31, }, end: Position { line: 73, column: 55, }, }, }, ), span: Span { start: Position { line: 73, column: 25, }, end: Position { line: 73, column: 55, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 73, column: 57, }, end: Position { line: 73, column: 60, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 73, column: 61, }, end: Position { line: 73, column: 68, }, }, }, ), ], default: None, }, ), ], }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 76, column: 9, }, end: Position { line: 76, column: 18, }, }, }, ), arguments: [ UnaryOperation( UnaryOperation { operator: Not, operand: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 76, column: 21, }, end: Position { line: 76, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 76, column: 28, }, end: Position { line: 76, column: 35, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 76, column: 36, }, end: Position { line: 76, column: 44, }, }, }, ), Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-", span: Span { start: Position { line: 76, column: 46, }, end: Position { line: 76, column: 65, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "srv", span: Span { start: Position { line: 76, column: 61, }, end: Position { line: 76, column: 64, }, }, }, ), }, ), ], span: Span { start: Position { line: 76, column: 45, }, end: Position { line: 76, column: 66, }, }, }, ), }, ), Raw( PartRaw { content: "confinement", span: Span { start: Position { line: 76, column: 67, }, end: Position { line: 76, column: 78, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 76, column: 79, }, end: Position { line: 76, column: 85, }, }, }, ), ], default: None, }, ), span: Span { start: Position { line: 76, column: 20, }, end: Position { line: 76, column: 85, }, }, }, ), List( List { elements: [ String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 77, column: 14, }, end: Position { line: 77, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dash", span: Span { start: Position { line: 77, column: 19, }, end: Position { line: 77, column: 23, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/dash:/bin/sh", span: Span { start: Position { line: 77, column: 12, }, end: Position { line: 77, column: 41, }, }, }, ), ], span: Span { start: Position { line: 77, column: 11, }, end: Position { line: 77, column: 42, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "builtins", span: Span { start: Position { line: 78, column: 11, }, end: Position { line: 78, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "storeDir", span: Span { start: Position { line: 78, column: 20, }, end: Position { line: 78, column: 28, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 76, column: 87, }, end: Position { line: 79, column: 10, }, }, }, ), ], }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "AmbientCapabilities", span: Span { start: Position { line: 82, column: 7, }, end: Position { line: 82, column: 26, }, }, }, ), ], to: String( String_ { parts: [], span: Span { start: Position { line: 82, column: 29, }, end: Position { line: 82, column: 31, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "CapabilityBoundingSet", span: Span { start: Position { line: 83, column: 7, }, end: Position { line: 83, column: 28, }, }, }, ), ], to: String( String_ { parts: [], span: Span { start: Position { line: 83, column: 31, }, end: Position { line: 83, column: 33, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "DeviceAllow", span: Span { start: Position { line: 85, column: 7, }, end: Position { line: 85, column: 18, }, }, }, ), ], to: String( String_ { parts: [], span: Span { start: Position { line: 85, column: 21, }, end: Position { line: 85, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "LockPersonality", span: Span { start: Position { line: 86, column: 7, }, end: Position { line: 86, column: 22, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 86, column: 25, }, end: Position { line: 86, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "MemoryDenyWriteExecute", span: Span { start: Position { line: 87, column: 7, }, end: Position { line: 87, column: 29, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 87, column: 32, }, end: Position { line: 87, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "NoNewPrivileges", span: Span { start: Position { line: 88, column: 7, }, end: Position { line: 88, column: 22, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 88, column: 25, }, end: Position { line: 88, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateNetwork", span: Span { start: Position { line: 89, column: 7, }, end: Position { line: 89, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkDefault", span: Span { start: Position { line: 89, column: 24, }, end: Position { line: 89, column: 33, }, }, }, ), arguments: [ UnaryOperation( UnaryOperation { operator: Not, operand: Identifier( Identifier { id: "needNetwork", span: Span { start: Position { line: 89, column: 36, }, end: Position { line: 89, column: 47, }, }, }, ), span: Span { start: Position { line: 89, column: 35, }, end: Position { line: 89, column: 47, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProcSubset", span: Span { start: Position { line: 90, column: 7, }, end: Position { line: 90, column: 17, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "pid", span: Span { start: Position { line: 90, column: 21, }, end: Position { line: 90, column: 24, }, }, }, ), ], span: Span { start: Position { line: 90, column: 20, }, end: Position { line: 90, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectClock", span: Span { start: Position { line: 91, column: 7, }, end: Position { line: 91, column: 19, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 91, column: 22, }, end: Position { line: 91, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectHome", span: Span { start: Position { line: 92, column: 7, }, end: Position { line: 92, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkDefault", span: Span { start: Position { line: 92, column: 21, }, end: Position { line: 92, column: 30, }, }, }, ), arguments: [ Identifier( Identifier { id: "true", span: Span { start: Position { line: 92, column: 31, }, end: Position { line: 92, column: 35, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectHostname", span: Span { start: Position { line: 93, column: 7, }, end: Position { line: 93, column: 22, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 93, column: 25, }, end: Position { line: 93, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectKernelLogs", span: Span { start: Position { line: 94, column: 7, }, end: Position { line: 94, column: 24, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 94, column: 27, }, end: Position { line: 94, column: 31, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectProc", span: Span { start: Position { line: 95, column: 7, }, end: Position { line: 95, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "invisible", span: Span { start: Position { line: 95, column: 22, }, end: Position { line: 95, column: 31, }, }, }, ), ], span: Span { start: Position { line: 95, column: 21, }, end: Position { line: 95, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RemoveIPC", span: Span { start: Position { line: 97, column: 7, }, end: Position { line: 97, column: 16, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 97, column: 19, }, end: Position { line: 97, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestrictAddressFamilies", span: Span { start: Position { line: 98, column: 7, }, end: Position { line: 98, column: 30, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "AF_UNIX", span: Span { start: Position { line: 98, column: 36, }, end: Position { line: 98, column: 43, }, }, }, ), ], span: Span { start: Position { line: 98, column: 35, }, end: Position { line: 98, column: 44, }, }, }, ), ], span: Span { start: Position { line: 98, column: 33, }, end: Position { line: 98, column: 46, }, }, }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 99, column: 9, }, end: Position { line: 99, column: 18, }, }, }, ), arguments: [ Identifier( Identifier { id: "needNetwork", span: Span { start: Position { line: 99, column: 19, }, end: Position { line: 99, column: 30, }, }, }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "AF_INET", span: Span { start: Position { line: 99, column: 34, }, end: Position { line: 99, column: 41, }, }, }, ), ], span: Span { start: Position { line: 99, column: 33, }, end: Position { line: 99, column: 42, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "AF_INET6", span: Span { start: Position { line: 99, column: 44, }, end: Position { line: 99, column: 52, }, }, }, ), ], span: Span { start: Position { line: 99, column: 43, }, end: Position { line: 99, column: 53, }, }, }, ), ], span: Span { start: Position { line: 99, column: 31, }, end: Position { line: 99, column: 55, }, }, }, ), ], }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestrictNamespaces", span: Span { start: Position { line: 100, column: 7, }, end: Position { line: 100, column: 25, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 100, column: 28, }, end: Position { line: 100, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestrictRealtime", span: Span { start: Position { line: 101, column: 7, }, end: Position { line: 101, column: 23, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 101, column: 26, }, end: Position { line: 101, column: 30, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestrictSUIDSGID", span: Span { start: Position { line: 102, column: 7, }, end: Position { line: 102, column: 23, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 102, column: 26, }, end: Position { line: 102, column: 30, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "SystemCallFilter", span: Span { start: Position { line: 103, column: 7, }, end: Position { line: 103, column: 23, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "@system-service", span: Span { start: Position { line: 104, column: 10, }, end: Position { line: 104, column: 25, }, }, }, ), ], span: Span { start: Position { line: 104, column: 9, }, end: Position { line: 104, column: 26, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "~@aio", span: Span { start: Position { line: 105, column: 10, }, end: Position { line: 105, column: 15, }, }, }, ), ], span: Span { start: Position { line: 105, column: 9, }, end: Position { line: 105, column: 16, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "~@chown", span: Span { start: Position { line: 105, column: 18, }, end: Position { line: 105, column: 25, }, }, }, ), ], span: Span { start: Position { line: 105, column: 17, }, end: Position { line: 105, column: 26, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "~@keyring", span: Span { start: Position { line: 105, column: 28, }, end: Position { line: 105, column: 37, }, }, }, ), ], span: Span { start: Position { line: 105, column: 27, }, end: Position { line: 105, column: 38, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "~@memlock", span: Span { start: Position { line: 105, column: 40, }, end: Position { line: 105, column: 49, }, }, }, ), ], span: Span { start: Position { line: 105, column: 39, }, end: Position { line: 105, column: 50, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "~@resources", span: Span { start: Position { line: 105, column: 52, }, end: Position { line: 105, column: 63, }, }, }, ), ], span: Span { start: Position { line: 105, column: 51, }, end: Position { line: 105, column: 64, }, }, }, ), ], span: Span { start: Position { line: 103, column: 26, }, end: Position { line: 108, column: 8, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "SystemCallArchitectures", span: Span { start: Position { line: 109, column: 7, }, end: Position { line: 109, column: 30, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "native", span: Span { start: Position { line: 109, column: 34, }, end: Position { line: 109, column: 40, }, }, }, ), ], span: Span { start: Position { line: 109, column: 33, }, end: Position { line: 109, column: 41, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RootDirectory", span: Span { start: Position { line: 112, column: 7, }, end: Position { line: 112, column: 20, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/var/empty", span: Span { start: Position { line: 112, column: 24, }, end: Position { line: 112, column: 34, }, }, }, ), ], span: Span { start: Position { line: 112, column: 23, }, end: Position { line: 112, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "TemporaryFileSystem", span: Span { start: Position { line: 113, column: 7, }, end: Position { line: 113, column: 26, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/", span: Span { start: Position { line: 113, column: 30, }, end: Position { line: 113, column: 31, }, }, }, ), ], span: Span { start: Position { line: 113, column: 29, }, end: Position { line: 113, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateMounts", span: Span { start: Position { line: 114, column: 7, }, end: Position { line: 114, column: 20, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 114, column: 23, }, end: Position { line: 114, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "MountAPIVFS", span: Span { start: Position { line: 115, column: 7, }, end: Position { line: 115, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 115, column: 21, }, end: Position { line: 115, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateDevices", span: Span { start: Position { line: 116, column: 7, }, end: Position { line: 116, column: 21, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 116, column: 24, }, end: Position { line: 116, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateTmp", span: Span { start: Position { line: 117, column: 7, }, end: Position { line: 117, column: 17, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 117, column: 20, }, end: Position { line: 117, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateUsers", span: Span { start: Position { line: 118, column: 7, }, end: Position { line: 118, column: 19, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 118, column: 22, }, end: Position { line: 118, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectControlGroups", span: Span { start: Position { line: 119, column: 7, }, end: Position { line: 119, column: 27, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 119, column: 30, }, end: Position { line: 119, column: 34, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectKernelModules", span: Span { start: Position { line: 120, column: 7, }, end: Position { line: 120, column: 27, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 120, column: 30, }, end: Position { line: 120, column: 34, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectKernelTunables", span: Span { start: Position { line: 121, column: 7, }, end: Position { line: 121, column: 28, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 121, column: 31, }, end: Position { line: 121, column: 35, }, }, }, ), }, ), ], span: Span { start: Position { line: 49, column: 21, }, end: Position { line: 122, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "confinement", span: Span { start: Position { line: 123, column: 5, }, end: Position { line: 123, column: 16, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mode", span: Span { start: Position { line: 132, column: 7, }, end: Position { line: 132, column: 11, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "full-apivfs", span: Span { start: Position { line: 132, column: 15, }, end: Position { line: 132, column: 26, }, }, }, ), ], span: Span { start: Position { line: 132, column: 14, }, end: Position { line: 132, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "binSh", span: Span { start: Position { line: 134, column: 7, }, end: Position { line: 134, column: 12, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 134, column: 18, }, end: Position { line: 134, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dash", span: Span { start: Position { line: 134, column: 23, }, end: Position { line: 134, column: 27, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/dash", span: Span { start: Position { line: 134, column: 16, }, end: Position { line: 134, column: 37, }, }, }, ), ], span: Span { start: Position { line: 134, column: 15, }, end: Position { line: 134, column: 38, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "packages", span: Span { start: Position { line: 135, column: 7, }, end: Position { line: 135, column: 15, }, }, }, ), ], to: List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 136, column: 11, }, end: Position { line: 136, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "iana-etc", span: Span { start: Position { line: 136, column: 16, }, end: Position { line: 136, column: 24, }, }, }, ), ], default: None, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "getLib", span: Span { start: Position { line: 137, column: 12, }, end: Position { line: 137, column: 18, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 137, column: 19, }, end: Position { line: 137, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nss", span: Span { start: Position { line: 137, column: 24, }, end: Position { line: 137, column: 27, }, }, }, ), ], default: None, }, ), ], }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 138, column: 11, }, end: Position { line: 138, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "tzdata", span: Span { start: Position { line: 138, column: 16, }, end: Position { line: 138, column: 22, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 135, column: 18, }, end: Position { line: 139, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 123, column: 19, }, end: Position { line: 140, column: 6, }, }, }, ), }, ), ], span: Span { start: Position { line: 48, column: 8, }, end: Position { line: 141, column: 4, }, }, }, ), span: Span { start: Position { line: 46, column: 5, }, end: Position { line: 141, column: 4, }, }, }, ), span: Span { start: Position { line: 45, column: 19, }, end: Position { line: 141, column: 4, }, }, }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 145, column: 3, }, end: Position { line: 145, column: 10, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 145, column: 11, }, end: Position { line: 145, column: 19, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 145, column: 20, }, end: Position { line: 145, column: 32, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 146, column: 5, }, end: Position { line: 146, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 146, column: 14, }, end: Position { line: 146, column: 28, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 146, column: 30, }, end: Position { line: 146, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 146, column: 34, }, end: Position { line: 146, column: 39, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the public-inbox mail archiver", span: Span { start: Position { line: 146, column: 41, }, end: Position { line: 146, column: 71, }, }, }, ), ], span: Span { start: Position { line: 146, column: 40, }, end: Position { line: 146, column: 72, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 147, column: 5, }, end: Position { line: 147, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 147, column: 15, }, end: Position { line: 147, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 148, column: 7, }, end: Position { line: 148, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 148, column: 14, }, end: Position { line: 148, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 148, column: 20, }, end: Position { line: 148, column: 27, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 149, column: 7, }, end: Position { line: 149, column: 14, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 149, column: 17, }, end: Position { line: 149, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 149, column: 22, }, end: Position { line: 149, column: 34, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "defaultText", span: Span { start: Position { line: 150, column: 7, }, end: Position { line: 150, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "literalExpression", span: Span { start: Position { line: 150, column: 21, }, end: Position { line: 150, column: 38, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "pkgs.public-inbox", span: Span { start: Position { line: 150, column: 40, }, end: Position { line: 150, column: 57, }, }, }, ), ], span: Span { start: Position { line: 150, column: 39, }, end: Position { line: 150, column: 58, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 151, column: 7, }, end: Position { line: 151, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 151, column: 21, }, end: Position { line: 151, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 151, column: 25, }, end: Position { line: 151, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox package to use.", span: Span { start: Position { line: 151, column: 32, }, end: Position { line: 151, column: 60, }, }, }, ), ], span: Span { start: Position { line: 151, column: 31, }, end: Position { line: 151, column: 61, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 147, column: 24, }, end: Position { line: 152, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 153, column: 5, }, end: Position { line: 153, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 153, column: 12, }, end: Position { line: 153, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 154, column: 7, }, end: Position { line: 154, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 154, column: 19, }, end: Position { line: 154, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 154, column: 26, }, end: Position { line: 154, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "package", span: Span { start: Position { line: 154, column: 33, }, end: Position { line: 154, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 154, column: 14, }, end: Position { line: 154, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 155, column: 7, }, end: Position { line: 155, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 155, column: 17, }, end: Position { line: 155, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 156, column: 7, }, end: Position { line: 156, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "literalExpression", span: Span { start: Position { line: 156, column: 17, }, end: Position { line: 156, column: 34, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "with pkgs; [ spamassassin ]", span: Span { start: Position { line: 156, column: 36, }, end: Position { line: 156, column: 63, }, }, }, ), ], span: Span { start: Position { line: 156, column: 35, }, end: Position { line: 156, column: 64, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 157, column: 7, }, end: Position { line: 157, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 157, column: 21, }, end: Position { line: 157, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 157, column: 25, }, end: Position { line: 157, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Additional packages to place in the path of public-inbox-mda,\npublic-inbox-watch, etc.\n", span: Span { start: Position { line: 158, column: 1, }, end: Position { line: 160, column: 7, }, }, }, ), ], span: Span { start: Position { line: 157, column: 31, }, end: Position { line: 160, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 153, column: 21, }, end: Position { line: 161, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 162, column: 5, }, end: Position { line: 162, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 162, column: 15, }, end: Position { line: 162, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 163, column: 7, }, end: Position { line: 163, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 163, column: 21, }, end: Position { line: 163, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 163, column: 25, }, end: Position { line: 163, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Inboxes to configure, where attribute names are inbox names.\n", span: Span { start: Position { line: 164, column: 1, }, end: Position { line: 165, column: 7, }, }, }, ), ], span: Span { start: Position { line: 163, column: 31, }, end: Position { line: 165, column: 9, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 166, column: 7, }, end: Position { line: 166, column: 14, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 166, column: 17, }, end: Position { line: 166, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 167, column: 7, }, end: Position { line: 167, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 167, column: 14, }, end: Position { line: 167, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "attrsOf", span: Span { start: Position { line: 167, column: 20, }, end: Position { line: 167, column: 27, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 167, column: 29, }, end: Position { line: 167, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 167, column: 35, }, end: Position { line: 167, column: 44, }, }, }, ), ], default: None, }, ), arguments: [ Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "name", default: None, }, ], }, ), body: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "freeformType", span: Span { start: Position { line: 168, column: 9, }, end: Position { line: 168, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 168, column: 24, }, end: Position { line: 168, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "attrsOf", span: Span { start: Position { line: 168, column: 30, }, end: Position { line: 168, column: 37, }, }, }, ), ], default: None, }, ), arguments: [ Identifier( Identifier { id: "iniAtom", span: Span { start: Position { line: 168, column: 38, }, end: Position { line: 168, column: 45, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 169, column: 9, }, end: Position { line: 169, column: 16, }, }, }, ), Raw( PartRaw { content: "inboxdir", span: Span { start: Position { line: 169, column: 17, }, end: Position { line: 169, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 169, column: 28, }, end: Position { line: 169, column: 36, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 170, column: 11, }, end: Position { line: 170, column: 15, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 170, column: 18, }, end: Position { line: 170, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 170, column: 24, }, end: Position { line: 170, column: 27, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 171, column: 11, }, end: Position { line: 171, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 171, column: 24, }, end: Position { line: 171, column: 32, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/", span: Span { start: Position { line: 171, column: 22, }, end: Position { line: 171, column: 42, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "name", span: Span { start: Position { line: 171, column: 44, }, end: Position { line: 171, column: 48, }, }, }, ), }, ), ], span: Span { start: Position { line: 171, column: 21, }, end: Position { line: 171, column: 50, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 172, column: 11, }, end: Position { line: 172, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 172, column: 25, }, end: Position { line: 172, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 172, column: 29, }, end: Position { line: 172, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "The absolute path to the directory which hosts the public-inbox.", span: Span { start: Position { line: 172, column: 36, }, end: Position { line: 172, column: 100, }, }, }, ), ], span: Span { start: Position { line: 172, column: 35, }, end: Position { line: 172, column: 101, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 169, column: 37, }, end: Position { line: 173, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 174, column: 9, }, end: Position { line: 174, column: 16, }, }, }, ), Raw( PartRaw { content: "address", span: Span { start: Position { line: 174, column: 17, }, end: Position { line: 174, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 174, column: 27, }, end: Position { line: 174, column: 35, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 175, column: 11, }, end: Position { line: 175, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 175, column: 23, }, end: Position { line: 175, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 175, column: 30, }, end: Position { line: 175, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 175, column: 37, }, end: Position { line: 175, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 175, column: 18, }, end: Position { line: 175, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 176, column: 11, }, end: Position { line: 176, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "example-discuss@example.org", span: Span { start: Position { line: 176, column: 22, }, end: Position { line: 176, column: 49, }, }, }, ), ], span: Span { start: Position { line: 176, column: 21, }, end: Position { line: 176, column: 50, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 177, column: 11, }, end: Position { line: 177, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 177, column: 25, }, end: Position { line: 177, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 177, column: 29, }, end: Position { line: 177, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "The email addresses of the public-inbox.", span: Span { start: Position { line: 177, column: 36, }, end: Position { line: 177, column: 76, }, }, }, ), ], span: Span { start: Position { line: 177, column: 35, }, end: Position { line: 177, column: 77, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 174, column: 36, }, end: Position { line: 178, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 179, column: 9, }, end: Position { line: 179, column: 16, }, }, }, ), Raw( PartRaw { content: "url", span: Span { start: Position { line: 179, column: 17, }, end: Position { line: 179, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 179, column: 23, }, end: Position { line: 179, column: 31, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 180, column: 11, }, end: Position { line: 180, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 180, column: 23, }, end: Position { line: 180, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 180, column: 30, }, end: Position { line: 180, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 180, column: 37, }, end: Position { line: 180, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 180, column: 18, }, end: Position { line: 180, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 181, column: 11, }, end: Position { line: 181, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 181, column: 21, }, end: Position { line: 181, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 182, column: 11, }, end: Position { line: 182, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "https://example.org/lists/example-discuss", span: Span { start: Position { line: 182, column: 22, }, end: Position { line: 182, column: 63, }, }, }, ), ], span: Span { start: Position { line: 182, column: 21, }, end: Position { line: 182, column: 64, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 183, column: 11, }, end: Position { line: 183, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 183, column: 25, }, end: Position { line: 183, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 183, column: 29, }, end: Position { line: 183, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "URL where this inbox can be accessed over HTTP.", span: Span { start: Position { line: 183, column: 36, }, end: Position { line: 183, column: 83, }, }, }, ), ], span: Span { start: Position { line: 183, column: 35, }, end: Position { line: 183, column: 84, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 179, column: 32, }, end: Position { line: 184, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 185, column: 9, }, end: Position { line: 185, column: 16, }, }, }, ), Raw( PartRaw { content: "description", span: Span { start: Position { line: 185, column: 17, }, end: Position { line: 185, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 185, column: 31, }, end: Position { line: 185, column: 39, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 186, column: 11, }, end: Position { line: 186, column: 15, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 186, column: 18, }, end: Position { line: 186, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 186, column: 24, }, end: Position { line: 186, column: 27, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 187, column: 11, }, end: Position { line: 187, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "user/dev discussion of public-inbox itself", span: Span { start: Position { line: 187, column: 22, }, end: Position { line: 187, column: 64, }, }, }, ), ], span: Span { start: Position { line: 187, column: 21, }, end: Position { line: 187, column: 65, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 188, column: 11, }, end: Position { line: 188, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 188, column: 25, }, end: Position { line: 188, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 188, column: 29, }, end: Position { line: 188, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "User-visible description for the repository.", span: Span { start: Position { line: 188, column: 36, }, end: Position { line: 188, column: 80, }, }, }, ), ], span: Span { start: Position { line: 188, column: 35, }, end: Position { line: 188, column: 81, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "apply", span: Span { start: Position { line: 189, column: 11, }, end: Position { line: 189, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 189, column: 19, }, end: Position { line: 189, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "writeText", span: Span { start: Position { line: 189, column: 24, }, end: Position { line: 189, column: 33, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-description-", span: Span { start: Position { line: 189, column: 35, }, end: Position { line: 189, column: 67, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "name", span: Span { start: Position { line: 189, column: 62, }, end: Position { line: 189, column: 66, }, }, }, ), }, ), ], span: Span { start: Position { line: 189, column: 34, }, end: Position { line: 189, column: 68, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 185, column: 40, }, end: Position { line: 190, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 191, column: 9, }, end: Position { line: 191, column: 16, }, }, }, ), Raw( PartRaw { content: "newsgroup", span: Span { start: Position { line: 191, column: 17, }, end: Position { line: 191, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 191, column: 29, }, end: Position { line: 191, column: 37, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 192, column: 11, }, end: Position { line: 192, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 192, column: 23, }, end: Position { line: 192, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 192, column: 30, }, end: Position { line: 192, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 192, column: 37, }, end: Position { line: 192, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 192, column: 18, }, end: Position { line: 192, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 193, column: 11, }, end: Position { line: 193, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 193, column: 21, }, end: Position { line: 193, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 194, column: 11, }, end: Position { line: 194, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 194, column: 25, }, end: Position { line: 194, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 194, column: 29, }, end: Position { line: 194, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "NNTP group name for the inbox.", span: Span { start: Position { line: 194, column: 36, }, end: Position { line: 194, column: 66, }, }, }, ), ], span: Span { start: Position { line: 194, column: 35, }, end: Position { line: 194, column: 67, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 191, column: 38, }, end: Position { line: 195, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 196, column: 9, }, end: Position { line: 196, column: 16, }, }, }, ), Raw( PartRaw { content: "watch", span: Span { start: Position { line: 196, column: 17, }, end: Position { line: 196, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 196, column: 25, }, end: Position { line: 196, column: 33, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 197, column: 11, }, end: Position { line: 197, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 197, column: 23, }, end: Position { line: 197, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 197, column: 30, }, end: Position { line: 197, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 197, column: 37, }, end: Position { line: 197, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 197, column: 18, }, end: Position { line: 197, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 198, column: 11, }, end: Position { line: 198, column: 18, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 198, column: 21, }, end: Position { line: 198, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 199, column: 11, }, end: Position { line: 199, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 199, column: 25, }, end: Position { line: 199, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 199, column: 29, }, end: Position { line: 199, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Paths for {manpage}`public-inbox-watch(1)` to monitor for new mail.", span: Span { start: Position { line: 199, column: 36, }, end: Position { line: 199, column: 103, }, }, }, ), ], span: Span { start: Position { line: 199, column: 35, }, end: Position { line: 199, column: 104, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 200, column: 11, }, end: Position { line: 200, column: 18, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "maildir:/path/to/test.example.com.git", span: Span { start: Position { line: 200, column: 24, }, end: Position { line: 200, column: 61, }, }, }, ), ], span: Span { start: Position { line: 200, column: 23, }, end: Position { line: 200, column: 62, }, }, }, ), ], span: Span { start: Position { line: 200, column: 21, }, end: Position { line: 200, column: 64, }, }, }, ), }, ), ], span: Span { start: Position { line: 196, column: 34, }, end: Position { line: 201, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 202, column: 9, }, end: Position { line: 202, column: 16, }, }, }, ), Raw( PartRaw { content: "watchheader", span: Span { start: Position { line: 202, column: 17, }, end: Position { line: 202, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 202, column: 31, }, end: Position { line: 202, column: 39, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 203, column: 11, }, end: Position { line: 203, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 203, column: 23, }, end: Position { line: 203, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 203, column: 30, }, end: Position { line: 203, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 203, column: 37, }, end: Position { line: 203, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 203, column: 18, }, end: Position { line: 203, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 204, column: 11, }, end: Position { line: 204, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 204, column: 21, }, end: Position { line: 204, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 205, column: 11, }, end: Position { line: 205, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "List-Id:", span: Span { start: Position { line: 205, column: 22, }, end: Position { line: 205, column: 48, }, }, }, ), ], span: Span { start: Position { line: 205, column: 21, }, end: Position { line: 205, column: 49, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 206, column: 11, }, end: Position { line: 206, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 206, column: 25, }, end: Position { line: 206, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 206, column: 29, }, end: Position { line: 206, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "If specified, {manpage}`public-inbox-watch(1)` will only process\nmail containing a matching header.\n", span: Span { start: Position { line: 207, column: 1, }, end: Position { line: 209, column: 11, }, }, }, ), ], span: Span { start: Position { line: 206, column: 35, }, end: Position { line: 209, column: 13, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 202, column: 40, }, end: Position { line: 210, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 211, column: 9, }, end: Position { line: 211, column: 16, }, }, }, ), Raw( PartRaw { content: "coderepo", span: Span { start: Position { line: 211, column: 17, }, end: Position { line: 211, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 211, column: 28, }, end: Position { line: 211, column: 36, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 212, column: 11, }, end: Position { line: 212, column: 15, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 212, column: 19, }, end: Position { line: 212, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 212, column: 25, }, end: Position { line: 212, column: 31, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 212, column: 33, }, end: Position { line: 212, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enum", span: Span { start: Position { line: 212, column: 39, }, end: Position { line: 212, column: 43, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrNames", span: Span { start: Position { line: 212, column: 45, }, end: Position { line: 212, column: 54, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 212, column: 55, }, end: Position { line: 212, column: 58, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 212, column: 59, }, end: Position { line: 212, column: 67, }, }, }, ), Raw( PartRaw { content: "coderepo", span: Span { start: Position { line: 212, column: 68, }, end: Position { line: 212, column: 76, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), ], }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 213, column: 13, }, end: Position { line: 213, column: 24, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "list of coderepo names", span: Span { start: Position { line: 213, column: 28, }, end: Position { line: 213, column: 50, }, }, }, ), ], span: Span { start: Position { line: 213, column: 27, }, end: Position { line: 213, column: 51, }, }, }, ), }, ), ], span: Span { start: Position { line: 212, column: 83, }, end: Position { line: 214, column: 12, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 215, column: 11, }, end: Position { line: 215, column: 18, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 215, column: 21, }, end: Position { line: 215, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 216, column: 11, }, end: Position { line: 216, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 216, column: 25, }, end: Position { line: 216, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 216, column: 29, }, end: Position { line: 216, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Nicknames of a 'coderepo' section associated with the inbox.", span: Span { start: Position { line: 216, column: 36, }, end: Position { line: 216, column: 96, }, }, }, ), ], span: Span { start: Position { line: 216, column: 35, }, end: Position { line: 216, column: 97, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 211, column: 37, }, end: Position { line: 217, column: 10, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 167, column: 59, }, end: Position { line: 218, column: 8, }, }, }, ), span: Span { start: Position { line: 167, column: 46, }, end: Position { line: 218, column: 8, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 162, column: 24, }, end: Position { line: 219, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 220, column: 5, }, end: Position { line: 220, column: 9, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 221, column: 7, }, end: Position { line: 221, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 221, column: 16, }, end: Position { line: 221, column: 30, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 221, column: 32, }, end: Position { line: 221, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 221, column: 36, }, end: Position { line: 221, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the public-inbox IMAP server", span: Span { start: Position { line: 221, column: 43, }, end: Position { line: 221, column: 71, }, }, }, ), ], span: Span { start: Position { line: 221, column: 42, }, end: Position { line: 221, column: 72, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 220, column: 12, }, end: Position { line: 222, column: 6, }, }, }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "publicInboxDaemonOptions", span: Span { start: Position { line: 222, column: 10, }, end: Position { line: 222, column: 34, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 222, column: 36, }, end: Position { line: 222, column: 40, }, }, }, ), ], span: Span { start: Position { line: 222, column: 35, }, end: Position { line: 222, column: 41, }, }, }, ), Integer( Integer { value: "993", span: Span { start: Position { line: 222, column: 42, }, end: Position { line: 222, column: 45, }, }, }, ), ], }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 223, column: 5, }, end: Position { line: 223, column: 9, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 224, column: 7, }, end: Position { line: 224, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 224, column: 16, }, end: Position { line: 224, column: 30, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 224, column: 32, }, end: Position { line: 224, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 224, column: 36, }, end: Position { line: 224, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the public-inbox HTTP server", span: Span { start: Position { line: 224, column: 43, }, end: Position { line: 224, column: 71, }, }, }, ), ], span: Span { start: Position { line: 224, column: 42, }, end: Position { line: 224, column: 72, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mounts", span: Span { start: Position { line: 225, column: 7, }, end: Position { line: 225, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 225, column: 16, }, end: Position { line: 225, column: 24, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 226, column: 9, }, end: Position { line: 226, column: 13, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 226, column: 21, }, end: Position { line: 226, column: 26, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 226, column: 28, }, end: Position { line: 226, column: 34, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 226, column: 35, }, end: Position { line: 226, column: 38, }, }, }, ), ], }, ), span: Span { start: Position { line: 226, column: 16, }, end: Position { line: 226, column: 38, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 227, column: 9, }, end: Position { line: 227, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "/", span: Span { start: Position { line: 227, column: 22, }, end: Position { line: 227, column: 23, }, }, }, ), ], span: Span { start: Position { line: 227, column: 21, }, end: Position { line: 227, column: 24, }, }, }, ), ], span: Span { start: Position { line: 227, column: 19, }, end: Position { line: 227, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 228, column: 9, }, end: Position { line: 228, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "/lists/archives", span: Span { start: Position { line: 228, column: 22, }, end: Position { line: 228, column: 37, }, }, }, ), ], span: Span { start: Position { line: 228, column: 21, }, end: Position { line: 228, column: 38, }, }, }, ), ], span: Span { start: Position { line: 228, column: 19, }, end: Position { line: 228, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 229, column: 9, }, end: Position { line: 229, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 229, column: 23, }, end: Position { line: 229, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 229, column: 27, }, end: Position { line: 229, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Root paths or URLs that public-inbox will be served on.\nIf domain parts are present, only requests to those\ndomains will be accepted.\n", span: Span { start: Position { line: 230, column: 1, }, end: Position { line: 233, column: 9, }, }, }, ), ], span: Span { start: Position { line: 229, column: 33, }, end: Position { line: 233, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 225, column: 25, }, end: Position { line: 234, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "args", span: Span { start: Position { line: 235, column: 7, }, end: Position { line: 235, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "publicInboxDaemonOptions", span: Span { start: Position { line: 235, column: 15, }, end: Position { line: 235, column: 39, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 235, column: 41, }, end: Position { line: 235, column: 45, }, }, }, ), ], span: Span { start: Position { line: 235, column: 40, }, end: Position { line: 235, column: 46, }, }, }, ), Integer( Integer { value: "80", span: Span { start: Position { line: 235, column: 47, }, end: Position { line: 235, column: 49, }, }, }, ), ], }, ), attribute_path: [ Raw( PartRaw { content: "args", span: Span { start: Position { line: 235, column: 51, }, end: Position { line: 235, column: 55, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "port", span: Span { start: Position { line: 236, column: 7, }, end: Position { line: 236, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 236, column: 14, }, end: Position { line: 236, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 237, column: 9, }, end: Position { line: 237, column: 13, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 237, column: 21, }, end: Position { line: 237, column: 26, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 237, column: 28, }, end: Position { line: 237, column: 34, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "either", span: Span { start: Position { line: 237, column: 36, }, end: Position { line: 237, column: 42, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 237, column: 43, }, end: Position { line: 237, column: 46, }, }, }, ), Identifier( Identifier { id: "port", span: Span { start: Position { line: 237, column: 47, }, end: Position { line: 237, column: 51, }, }, }, ), ], }, ), ], }, ), span: Span { start: Position { line: 237, column: 16, }, end: Position { line: 237, column: 52, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 238, column: 9, }, end: Position { line: 238, column: 16, }, }, }, ), ], to: Integer( Integer { value: "80", span: Span { start: Position { line: 238, column: 19, }, end: Position { line: 238, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 239, column: 9, }, end: Position { line: 239, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/run/public-inbox-httpd.sock", span: Span { start: Position { line: 239, column: 20, }, end: Position { line: 239, column: 48, }, }, }, ), ], span: Span { start: Position { line: 239, column: 19, }, end: Position { line: 239, column: 49, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 240, column: 9, }, end: Position { line: 240, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 240, column: 23, }, end: Position { line: 240, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 240, column: 27, }, end: Position { line: 240, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Listening port or systemd's ListenStream= entry\nto be used as a reverse proxy, eg. in nginx:\n`locations.\"/inbox\".proxyPass = \"http://unix:", span: Span { start: Position { line: 241, column: 1, }, end: Position { line: 243, column: 56, }, }, }, ), Raw( PartRaw { content: "$", span: Span { start: Position { line: 241, column: 1, }, end: Position { line: 243, column: 59, }, }, }, ), Raw( PartRaw { content: "{config.services.public-inbox.http.port}:/inbox\";`\nSet to null and use `systemd.sockets.public-inbox-httpd.listenStreams`\nif you need a more advanced listening.\n", span: Span { start: Position { line: 241, column: 1, }, end: Position { line: 246, column: 9, }, }, }, ), ], span: Span { start: Position { line: 240, column: 33, }, end: Position { line: 246, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 236, column: 23, }, end: Position { line: 247, column: 8, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 223, column: 12, }, end: Position { line: 248, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mda", span: Span { start: Position { line: 249, column: 5, }, end: Position { line: 249, column: 8, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 250, column: 7, }, end: Position { line: 250, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 250, column: 16, }, end: Position { line: 250, column: 30, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 250, column: 32, }, end: Position { line: 250, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 250, column: 36, }, end: Position { line: 250, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the public-inbox Mail Delivery Agent", span: Span { start: Position { line: 250, column: 43, }, end: Position { line: 250, column: 79, }, }, }, ), ], span: Span { start: Position { line: 250, column: 42, }, end: Position { line: 250, column: 80, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "args", span: Span { start: Position { line: 251, column: 7, }, end: Position { line: 251, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 251, column: 14, }, end: Position { line: 251, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 252, column: 9, }, end: Position { line: 252, column: 13, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 252, column: 21, }, end: Position { line: 252, column: 26, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 252, column: 28, }, end: Position { line: 252, column: 34, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 252, column: 35, }, end: Position { line: 252, column: 38, }, }, }, ), ], }, ), span: Span { start: Position { line: 252, column: 16, }, end: Position { line: 252, column: 38, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 253, column: 9, }, end: Position { line: 253, column: 16, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 253, column: 19, }, end: Position { line: 253, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 254, column: 9, }, end: Position { line: 254, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 254, column: 23, }, end: Position { line: 254, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 254, column: 27, }, end: Position { line: 254, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Command-line arguments to pass to {manpage}`public-inbox-mda(1)`.", span: Span { start: Position { line: 254, column: 34, }, end: Position { line: 254, column: 99, }, }, }, ), ], span: Span { start: Position { line: 254, column: 33, }, end: Position { line: 254, column: 100, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 251, column: 23, }, end: Position { line: 255, column: 8, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 249, column: 11, }, end: Position { line: 256, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "postfix", span: Span { start: Position { line: 257, column: 5, }, end: Position { line: 257, column: 12, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 257, column: 13, }, end: Position { line: 257, column: 19, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 257, column: 22, }, end: Position { line: 257, column: 36, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 257, column: 38, }, end: Position { line: 257, column: 41, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 257, column: 42, }, end: Position { line: 257, column: 47, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the integration into Postfix", span: Span { start: Position { line: 257, column: 49, }, end: Position { line: 257, column: 77, }, }, }, ), ], span: Span { start: Position { line: 257, column: 48, }, end: Position { line: 257, column: 78, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 258, column: 5, }, end: Position { line: 258, column: 9, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 259, column: 7, }, end: Position { line: 259, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 259, column: 16, }, end: Position { line: 259, column: 30, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 259, column: 32, }, end: Position { line: 259, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 259, column: 36, }, end: Position { line: 259, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the public-inbox NNTP server", span: Span { start: Position { line: 259, column: 43, }, end: Position { line: 259, column: 71, }, }, }, ), ], span: Span { start: Position { line: 259, column: 42, }, end: Position { line: 259, column: 72, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 258, column: 12, }, end: Position { line: 260, column: 6, }, }, }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "publicInboxDaemonOptions", span: Span { start: Position { line: 260, column: 10, }, end: Position { line: 260, column: 34, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 260, column: 36, }, end: Position { line: 260, column: 40, }, }, }, ), ], span: Span { start: Position { line: 260, column: 35, }, end: Position { line: 260, column: 41, }, }, }, ), Integer( Integer { value: "563", span: Span { start: Position { line: 260, column: 42, }, end: Position { line: 260, column: 45, }, }, }, ), ], }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "spamAssassinRules", span: Span { start: Position { line: 261, column: 5, }, end: Position { line: 261, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 261, column: 25, }, end: Position { line: 261, column: 33, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 262, column: 7, }, end: Position { line: 262, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 262, column: 19, }, end: Position { line: 262, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 262, column: 26, }, end: Position { line: 262, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "path", span: Span { start: Position { line: 262, column: 33, }, end: Position { line: 262, column: 37, }, }, }, ), ], }, ), span: Span { start: Position { line: 262, column: 14, }, end: Position { line: 262, column: 37, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 263, column: 7, }, end: Position { line: 263, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 263, column: 20, }, end: Position { line: 263, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 263, column: 24, }, end: Position { line: 263, column: 31, }, }, }, ), Raw( PartRaw { content: "sa_config", span: Span { start: Position { line: 263, column: 32, }, end: Position { line: 263, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/user/.spamassassin/user_prefs", span: Span { start: Position { line: 263, column: 18, }, end: Position { line: 263, column: 72, }, }, }, ), ], span: Span { start: Position { line: 263, column: 17, }, end: Position { line: 263, column: 73, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "defaultText", span: Span { start: Position { line: 264, column: 7, }, end: Position { line: 264, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "literalExpression", span: Span { start: Position { line: 264, column: 21, }, end: Position { line: 264, column: 38, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "${cfg.package.sa_config}/user/.spamassassin/user_prefs", span: Span { start: Position { line: 264, column: 40, }, end: Position { line: 264, column: 95, }, }, }, ), ], span: Span { start: Position { line: 264, column: 39, }, end: Position { line: 264, column: 96, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 265, column: 7, }, end: Position { line: 265, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 265, column: 21, }, end: Position { line: 265, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 265, column: 25, }, end: Position { line: 265, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "SpamAssassin configuration specific to public-inbox.", span: Span { start: Position { line: 265, column: 32, }, end: Position { line: 265, column: 84, }, }, }, ), ], span: Span { start: Position { line: 265, column: 31, }, end: Position { line: 265, column: 85, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 261, column: 34, }, end: Position { line: 266, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 267, column: 5, }, end: Position { line: 267, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 267, column: 16, }, end: Position { line: 267, column: 24, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 268, column: 7, }, end: Position { line: 268, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 268, column: 21, }, end: Position { line: 268, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 268, column: 25, }, end: Position { line: 268, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Settings for the [public-inbox config file](https://public-inbox.org/public-inbox-config.html).\n", span: Span { start: Position { line: 269, column: 1, }, end: Position { line: 270, column: 7, }, }, }, ), ], span: Span { start: Position { line: 268, column: 31, }, end: Position { line: 270, column: 9, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 271, column: 7, }, end: Position { line: 271, column: 14, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 271, column: 17, }, end: Position { line: 271, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 272, column: 7, }, end: Position { line: 272, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 272, column: 14, }, end: Position { line: 272, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 272, column: 20, }, end: Position { line: 272, column: 29, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "freeformType", span: Span { start: Position { line: 273, column: 9, }, end: Position { line: 273, column: 21, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "gitIni", span: Span { start: Position { line: 273, column: 24, }, end: Position { line: 273, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 273, column: 31, }, end: Position { line: 273, column: 35, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 274, column: 9, }, end: Position { line: 274, column: 16, }, }, }, ), Raw( PartRaw { content: "publicinbox", span: Span { start: Position { line: 274, column: 17, }, end: Position { line: 274, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 274, column: 31, }, end: Position { line: 274, column: 39, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 275, column: 11, }, end: Position { line: 275, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 275, column: 21, }, end: Position { line: 275, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 276, column: 11, }, end: Position { line: 276, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 276, column: 25, }, end: Position { line: 276, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 276, column: 29, }, end: Position { line: 276, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public inboxes", span: Span { start: Position { line: 276, column: 36, }, end: Position { line: 276, column: 50, }, }, }, ), ], span: Span { start: Position { line: 276, column: 35, }, end: Position { line: 276, column: 51, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 277, column: 11, }, end: Position { line: 277, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 277, column: 18, }, end: Position { line: 277, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 277, column: 24, }, end: Position { line: 277, column: 33, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "freeformType", span: Span { start: Position { line: 278, column: 13, }, end: Position { line: 278, column: 25, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 278, column: 33, }, end: Position { line: 278, column: 38, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrsOf", span: Span { start: Position { line: 278, column: 54, }, end: Position { line: 278, column: 61, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrsOf", span: Span { start: Position { line: 278, column: 84, }, end: Position { line: 278, column: 91, }, }, }, ), arguments: [ Identifier( Identifier { id: "iniAtom", span: Span { start: Position { line: 278, column: 114, }, end: Position { line: 278, column: 121, }, }, }, ), ], }, ), ], }, ), span: Span { start: Position { line: 278, column: 28, }, end: Position { line: 278, column: 122, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 279, column: 13, }, end: Position { line: 279, column: 20, }, }, }, ), Raw( PartRaw { content: "css", span: Span { start: Position { line: 279, column: 21, }, end: Position { line: 279, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 279, column: 27, }, end: Position { line: 279, column: 35, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 280, column: 15, }, end: Position { line: 280, column: 19, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 280, column: 27, }, end: Position { line: 280, column: 32, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 280, column: 34, }, end: Position { line: 280, column: 40, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 280, column: 41, }, end: Position { line: 280, column: 44, }, }, }, ), ], }, ), span: Span { start: Position { line: 280, column: 22, }, end: Position { line: 280, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 281, column: 15, }, end: Position { line: 281, column: 22, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 281, column: 25, }, end: Position { line: 281, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 282, column: 15, }, end: Position { line: 282, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 282, column: 29, }, end: Position { line: 282, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 282, column: 33, }, end: Position { line: 282, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "The local path name of a CSS file for the PSGI web interface.", span: Span { start: Position { line: 282, column: 40, }, end: Position { line: 282, column: 101, }, }, }, ), ], span: Span { start: Position { line: 282, column: 39, }, end: Position { line: 282, column: 102, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 279, column: 36, }, end: Position { line: 283, column: 14, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 284, column: 13, }, end: Position { line: 284, column: 20, }, }, }, ), Raw( PartRaw { content: "nntpserver", span: Span { start: Position { line: 284, column: 21, }, end: Position { line: 284, column: 31, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 284, column: 34, }, end: Position { line: 284, column: 42, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 285, column: 15, }, end: Position { line: 285, column: 19, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 285, column: 27, }, end: Position { line: 285, column: 32, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 285, column: 34, }, end: Position { line: 285, column: 40, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 285, column: 41, }, end: Position { line: 285, column: 44, }, }, }, ), ], }, ), span: Span { start: Position { line: 285, column: 22, }, end: Position { line: 285, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 286, column: 15, }, end: Position { line: 286, column: 22, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 286, column: 25, }, end: Position { line: 286, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 287, column: 15, }, end: Position { line: 287, column: 22, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "nntp://news.public-inbox.org", span: Span { start: Position { line: 287, column: 28, }, end: Position { line: 287, column: 56, }, }, }, ), ], span: Span { start: Position { line: 287, column: 27, }, end: Position { line: 287, column: 57, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "nntps://news.public-inbox.org", span: Span { start: Position { line: 287, column: 59, }, end: Position { line: 287, column: 88, }, }, }, ), ], span: Span { start: Position { line: 287, column: 58, }, end: Position { line: 287, column: 89, }, }, }, ), ], span: Span { start: Position { line: 287, column: 25, }, end: Position { line: 287, column: 91, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 288, column: 15, }, end: Position { line: 288, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 288, column: 29, }, end: Position { line: 288, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 288, column: 33, }, end: Position { line: 288, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "NNTP URLs to this public-inbox instance", span: Span { start: Position { line: 288, column: 40, }, end: Position { line: 288, column: 79, }, }, }, ), ], span: Span { start: Position { line: 288, column: 39, }, end: Position { line: 288, column: 80, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 284, column: 43, }, end: Position { line: 289, column: 14, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 290, column: 13, }, end: Position { line: 290, column: 20, }, }, }, ), Raw( PartRaw { content: "wwwlisting", span: Span { start: Position { line: 290, column: 21, }, end: Position { line: 290, column: 31, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 290, column: 34, }, end: Position { line: 290, column: 42, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 291, column: 15, }, end: Position { line: 291, column: 19, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 291, column: 27, }, end: Position { line: 291, column: 32, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "enum", span: Span { start: Position { line: 291, column: 34, }, end: Position { line: 291, column: 38, }, }, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "all", span: Span { start: Position { line: 291, column: 42, }, end: Position { line: 291, column: 45, }, }, }, ), ], span: Span { start: Position { line: 291, column: 41, }, end: Position { line: 291, column: 46, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "404", span: Span { start: Position { line: 291, column: 48, }, end: Position { line: 291, column: 51, }, }, }, ), ], span: Span { start: Position { line: 291, column: 47, }, end: Position { line: 291, column: 52, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "match=domain", span: Span { start: Position { line: 291, column: 54, }, end: Position { line: 291, column: 66, }, }, }, ), ], span: Span { start: Position { line: 291, column: 53, }, end: Position { line: 291, column: 67, }, }, }, ), ], span: Span { start: Position { line: 291, column: 39, }, end: Position { line: 291, column: 69, }, }, }, ), ], }, ), span: Span { start: Position { line: 291, column: 22, }, end: Position { line: 291, column: 69, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 292, column: 15, }, end: Position { line: 292, column: 22, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "404", span: Span { start: Position { line: 292, column: 26, }, end: Position { line: 292, column: 29, }, }, }, ), ], span: Span { start: Position { line: 292, column: 25, }, end: Position { line: 292, column: 30, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 293, column: 15, }, end: Position { line: 293, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 293, column: 29, }, end: Position { line: 293, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 293, column: 33, }, end: Position { line: 293, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Controls which lists (if any) are listed for when the root\npublic-inbox URL is accessed over HTTP.\n", span: Span { start: Position { line: 294, column: 1, }, end: Position { line: 296, column: 15, }, }, }, ), ], span: Span { start: Position { line: 293, column: 39, }, end: Position { line: 296, column: 17, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 290, column: 43, }, end: Position { line: 297, column: 14, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 277, column: 34, }, end: Position { line: 298, column: 12, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 274, column: 40, }, end: Position { line: 299, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 300, column: 9, }, end: Position { line: 300, column: 16, }, }, }, ), Raw( PartRaw { content: "publicinboxmda", span: Span { start: Position { line: 300, column: 17, }, end: Position { line: 300, column: 31, }, }, }, ), Raw( PartRaw { content: "spamcheck", span: Span { start: Position { line: 300, column: 32, }, end: Position { line: 300, column: 41, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 300, column: 44, }, end: Position { line: 300, column: 52, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 301, column: 11, }, end: Position { line: 301, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 301, column: 23, }, end: Position { line: 301, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "enum", span: Span { start: Position { line: 301, column: 30, }, end: Position { line: 301, column: 34, }, }, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "spamc", span: Span { start: Position { line: 301, column: 38, }, end: Position { line: 301, column: 43, }, }, }, ), ], span: Span { start: Position { line: 301, column: 37, }, end: Position { line: 301, column: 44, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "none", span: Span { start: Position { line: 301, column: 46, }, end: Position { line: 301, column: 50, }, }, }, ), ], span: Span { start: Position { line: 301, column: 45, }, end: Position { line: 301, column: 51, }, }, }, ), ], span: Span { start: Position { line: 301, column: 35, }, end: Position { line: 301, column: 53, }, }, }, ), ], }, ), span: Span { start: Position { line: 301, column: 18, }, end: Position { line: 301, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 302, column: 11, }, end: Position { line: 302, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "none", span: Span { start: Position { line: 302, column: 22, }, end: Position { line: 302, column: 26, }, }, }, ), ], span: Span { start: Position { line: 302, column: 21, }, end: Position { line: 302, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 303, column: 11, }, end: Position { line: 303, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 303, column: 25, }, end: Position { line: 303, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 303, column: 29, }, end: Position { line: 303, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "If set to spamc, {manpage}`public-inbox-watch(1)` will filter spam\nusing SpamAssassin.\n", span: Span { start: Position { line: 304, column: 1, }, end: Position { line: 306, column: 11, }, }, }, ), ], span: Span { start: Position { line: 303, column: 35, }, end: Position { line: 306, column: 13, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 300, column: 53, }, end: Position { line: 307, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 308, column: 9, }, end: Position { line: 308, column: 16, }, }, }, ), Raw( PartRaw { content: "publicinboxwatch", span: Span { start: Position { line: 308, column: 17, }, end: Position { line: 308, column: 33, }, }, }, ), Raw( PartRaw { content: "spamcheck", span: Span { start: Position { line: 308, column: 34, }, end: Position { line: 308, column: 43, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 308, column: 46, }, end: Position { line: 308, column: 54, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 309, column: 11, }, end: Position { line: 309, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 309, column: 23, }, end: Position { line: 309, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "enum", span: Span { start: Position { line: 309, column: 30, }, end: Position { line: 309, column: 34, }, }, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "spamc", span: Span { start: Position { line: 309, column: 38, }, end: Position { line: 309, column: 43, }, }, }, ), ], span: Span { start: Position { line: 309, column: 37, }, end: Position { line: 309, column: 44, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "none", span: Span { start: Position { line: 309, column: 46, }, end: Position { line: 309, column: 50, }, }, }, ), ], span: Span { start: Position { line: 309, column: 45, }, end: Position { line: 309, column: 51, }, }, }, ), ], span: Span { start: Position { line: 309, column: 35, }, end: Position { line: 309, column: 53, }, }, }, ), ], }, ), span: Span { start: Position { line: 309, column: 18, }, end: Position { line: 309, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 310, column: 11, }, end: Position { line: 310, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "none", span: Span { start: Position { line: 310, column: 22, }, end: Position { line: 310, column: 26, }, }, }, ), ], span: Span { start: Position { line: 310, column: 21, }, end: Position { line: 310, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 311, column: 11, }, end: Position { line: 311, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 311, column: 25, }, end: Position { line: 311, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 311, column: 29, }, end: Position { line: 311, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "If set to spamc, {manpage}`public-inbox-watch(1)` will filter spam\nusing SpamAssassin.\n", span: Span { start: Position { line: 312, column: 1, }, end: Position { line: 314, column: 11, }, }, }, ), ], span: Span { start: Position { line: 311, column: 35, }, end: Position { line: 314, column: 13, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 308, column: 55, }, end: Position { line: 315, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 316, column: 9, }, end: Position { line: 316, column: 16, }, }, }, ), Raw( PartRaw { content: "publicinboxwatch", span: Span { start: Position { line: 316, column: 17, }, end: Position { line: 316, column: 33, }, }, }, ), Raw( PartRaw { content: "watchspam", span: Span { start: Position { line: 316, column: 34, }, end: Position { line: 316, column: 43, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 316, column: 46, }, end: Position { line: 316, column: 54, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 317, column: 11, }, end: Position { line: 317, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 317, column: 23, }, end: Position { line: 317, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "nullOr", span: Span { start: Position { line: 317, column: 30, }, end: Position { line: 317, column: 36, }, }, }, ), arguments: [ Identifier( Identifier { id: "str", span: Span { start: Position { line: 317, column: 37, }, end: Position { line: 317, column: 40, }, }, }, ), ], }, ), span: Span { start: Position { line: 317, column: 18, }, end: Position { line: 317, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 318, column: 11, }, end: Position { line: 318, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 318, column: 21, }, end: Position { line: 318, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 319, column: 11, }, end: Position { line: 319, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "maildir:/path/to/spam", span: Span { start: Position { line: 319, column: 22, }, end: Position { line: 319, column: 43, }, }, }, ), ], span: Span { start: Position { line: 319, column: 21, }, end: Position { line: 319, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 320, column: 11, }, end: Position { line: 320, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 320, column: 25, }, end: Position { line: 320, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 320, column: 29, }, end: Position { line: 320, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "If set, mail in this maildir will be trained as spam and\ndeleted from all watched inboxes\n", span: Span { start: Position { line: 321, column: 1, }, end: Position { line: 323, column: 11, }, }, }, ), ], span: Span { start: Position { line: 320, column: 35, }, end: Position { line: 323, column: 13, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 316, column: 55, }, end: Position { line: 324, column: 10, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 325, column: 9, }, end: Position { line: 325, column: 16, }, }, }, ), Raw( PartRaw { content: "coderepo", span: Span { start: Position { line: 325, column: 17, }, end: Position { line: 325, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 325, column: 28, }, end: Position { line: 325, column: 36, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 326, column: 11, }, end: Position { line: 326, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 326, column: 21, }, end: Position { line: 326, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 327, column: 11, }, end: Position { line: 327, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 327, column: 25, }, end: Position { line: 327, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 327, column: 29, }, end: Position { line: 327, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "code repositories", span: Span { start: Position { line: 327, column: 36, }, end: Position { line: 327, column: 53, }, }, }, ), ], span: Span { start: Position { line: 327, column: 35, }, end: Position { line: 327, column: 54, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 328, column: 11, }, end: Position { line: 328, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 328, column: 18, }, end: Position { line: 328, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "attrsOf", span: Span { start: Position { line: 328, column: 24, }, end: Position { line: 328, column: 31, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 328, column: 33, }, end: Position { line: 328, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 328, column: 39, }, end: Position { line: 328, column: 48, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "freeformType", span: Span { start: Position { line: 329, column: 13, }, end: Position { line: 329, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 329, column: 28, }, end: Position { line: 329, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "attrsOf", span: Span { start: Position { line: 329, column: 34, }, end: Position { line: 329, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ Identifier( Identifier { id: "iniAtom", span: Span { start: Position { line: 329, column: 42, }, end: Position { line: 329, column: 49, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 330, column: 13, }, end: Position { line: 330, column: 20, }, }, }, ), Raw( PartRaw { content: "cgitUrl", span: Span { start: Position { line: 330, column: 21, }, end: Position { line: 330, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 330, column: 31, }, end: Position { line: 330, column: 39, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 331, column: 15, }, end: Position { line: 331, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 331, column: 22, }, end: Position { line: 331, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 331, column: 28, }, end: Position { line: 331, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 332, column: 15, }, end: Position { line: 332, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 332, column: 29, }, end: Position { line: 332, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 332, column: 33, }, end: Position { line: 332, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "URL of a cgit instance", span: Span { start: Position { line: 332, column: 40, }, end: Position { line: 332, column: 62, }, }, }, ), ], span: Span { start: Position { line: 332, column: 39, }, end: Position { line: 332, column: 63, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 330, column: 40, }, end: Position { line: 333, column: 14, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 334, column: 13, }, end: Position { line: 334, column: 20, }, }, }, ), Raw( PartRaw { content: "dir", span: Span { start: Position { line: 334, column: 21, }, end: Position { line: 334, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 334, column: 27, }, end: Position { line: 334, column: 35, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 335, column: 15, }, end: Position { line: 335, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 335, column: 22, }, end: Position { line: 335, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 335, column: 28, }, end: Position { line: 335, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 336, column: 15, }, end: Position { line: 336, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 336, column: 29, }, end: Position { line: 336, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 336, column: 33, }, end: Position { line: 336, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to a git repository", span: Span { start: Position { line: 336, column: 40, }, end: Position { line: 336, column: 64, }, }, }, ), ], span: Span { start: Position { line: 336, column: 39, }, end: Position { line: 336, column: 65, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 334, column: 36, }, end: Position { line: 337, column: 14, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 328, column: 49, }, end: Position { line: 338, column: 12, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 325, column: 37, }, end: Position { line: 339, column: 10, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 272, column: 30, }, end: Position { line: 340, column: 8, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 267, column: 25, }, end: Position { line: 341, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "openFirewall", span: Span { start: Position { line: 342, column: 5, }, end: Position { line: 342, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 342, column: 20, }, end: Position { line: 342, column: 34, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 342, column: 36, }, end: Position { line: 342, column: 39, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 342, column: 40, }, end: Position { line: 342, column: 45, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "opening the firewall when using a port option", span: Span { start: Position { line: 342, column: 47, }, end: Position { line: 342, column: 92, }, }, }, ), ], span: Span { start: Position { line: 342, column: 46, }, end: Position { line: 342, column: 93, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 145, column: 35, }, end: Position { line: 343, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "config", span: Span { start: Position { line: 344, column: 3, }, end: Position { line: 344, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 344, column: 12, }, end: Position { line: 344, column: 16, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 344, column: 17, }, end: Position { line: 344, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 344, column: 21, }, end: Position { line: 344, column: 27, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertions", span: Span { start: Position { line: 345, column: 5, }, end: Position { line: 345, column: 15, }, }, }, ), ], to: List( List { elements: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 346, column: 9, }, end: Position { line: 346, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 346, column: 21, }, end: Position { line: 346, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 346, column: 28, }, end: Position { line: 346, column: 36, }, }, }, ), Raw( PartRaw { content: "spamassassin", span: Span { start: Position { line: 346, column: 37, }, end: Position { line: 346, column: 49, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 346, column: 50, }, end: Position { line: 346, column: 56, }, }, }, ), ], default: None, }, ), operator: LogicalOr, right: UnaryOperation( UnaryOperation { operator: Not, operand: Identifier( Identifier { id: "useSpamAssassin", span: Span { start: Position { line: 346, column: 61, }, end: Position { line: 346, column: 76, }, }, }, ), span: Span { start: Position { line: 346, column: 60, }, end: Position { line: 346, column: 76, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 347, column: 9, }, end: Position { line: 347, column: 16, }, }, }, ), ], to: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "public-inbox is configured to use SpamAssassin, but\nservices.spamassassin.enable is false. If you don't need\nspam checking, set `services.public-inbox.settings.publicinboxmda.spamcheck' and\n`services.public-inbox.settings.publicinboxwatch.spamcheck' to null.\n", span: Span { start: Position { line: 348, column: 1, }, end: Position { line: 352, column: 9, }, }, }, ), ], span: Span { start: Position { line: 347, column: 19, }, end: Position { line: 352, column: 11, }, }, }, ), }, ), ], span: Span { start: Position { line: 346, column: 7, }, end: Position { line: 353, column: 8, }, }, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 354, column: 9, }, end: Position { line: 354, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 354, column: 21, }, end: Position { line: 354, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 354, column: 25, }, end: Position { line: 354, column: 29, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: List( List { elements: [], span: Span { start: Position { line: 354, column: 33, }, end: Position { line: 354, column: 35, }, }, }, ), }, ), operator: LogicalOr, right: UnaryOperation( UnaryOperation { operator: Not, operand: Identifier( Identifier { id: "useSpamAssassin", span: Span { start: Position { line: 354, column: 40, }, end: Position { line: 354, column: 55, }, }, }, ), span: Span { start: Position { line: 354, column: 39, }, end: Position { line: 354, column: 55, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 355, column: 9, }, end: Position { line: 355, column: 16, }, }, }, ), ], to: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "public-inbox is configured to use SpamAssassin, but there is\nno spamc executable in services.public-inbox.path. If you\ndon't need spam checking, set\n`services.public-inbox.settings.publicinboxmda.spamcheck' and\n`services.public-inbox.settings.publicinboxwatch.spamcheck' to null.\n", span: Span { start: Position { line: 356, column: 1, }, end: Position { line: 361, column: 9, }, }, }, ), ], span: Span { start: Position { line: 355, column: 19, }, end: Position { line: 361, column: 11, }, }, }, ), }, ), ], span: Span { start: Position { line: 354, column: 7, }, end: Position { line: 362, column: 8, }, }, }, ), ], span: Span { start: Position { line: 345, column: 18, }, end: Position { line: 363, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 364, column: 5, }, end: Position { line: 364, column: 13, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 364, column: 14, }, end: Position { line: 364, column: 26, }, }, }, ), Raw( PartRaw { content: "settings", span: Span { start: Position { line: 364, column: 27, }, end: Position { line: 364, column: 35, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "filterAttrsRecursive", span: Span { start: Position { line: 365, column: 7, }, end: Position { line: 365, column: 27, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "v", }, ), body: BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "v", span: Span { start: Position { line: 365, column: 35, }, end: Position { line: 365, column: 36, }, }, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 365, column: 40, }, end: Position { line: 365, column: 44, }, }, }, ), }, ), span: Span { start: Position { line: 365, column: 32, }, end: Position { line: 365, column: 44, }, }, }, ), span: Span { start: Position { line: 365, column: 29, }, end: Position { line: 365, column: 44, }, }, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "publicinbox", span: Span { start: Position { line: 366, column: 9, }, end: Position { line: 366, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrs", span: Span { start: Position { line: 366, column: 23, }, end: Position { line: 366, column: 31, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "filterAttrs", span: Span { start: Position { line: 366, column: 36, }, end: Position { line: 366, column: 47, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "v", }, ), body: BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "n", span: Span { start: Position { line: 366, column: 55, }, end: Position { line: 366, column: 56, }, }, }, ), operator: NotEqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 366, column: 61, }, end: Position { line: 366, column: 72, }, }, }, ), ], span: Span { start: Position { line: 366, column: 60, }, end: Position { line: 366, column: 73, }, }, }, ), }, ), span: Span { start: Position { line: 366, column: 52, }, end: Position { line: 366, column: 73, }, }, }, ), span: Span { start: Position { line: 366, column: 49, }, end: Position { line: 366, column: 73, }, }, }, ), ], }, ), span: Span { start: Position { line: 366, column: 33, }, end: Position { line: 366, column: 74, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 366, column: 76, }, end: Position { line: 366, column: 79, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 366, column: 80, }, end: Position { line: 366, column: 87, }, }, }, ), ], default: None, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 365, column: 46, }, end: Position { line: 367, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 368, column: 5, }, end: Position { line: 368, column: 10, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 369, column: 7, }, end: Position { line: 369, column: 12, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 369, column: 13, }, end: Position { line: 369, column: 25, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "home", span: Span { start: Position { line: 370, column: 9, }, end: Position { line: 370, column: 13, }, }, }, ), ], to: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 370, column: 16, }, end: Position { line: 370, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 371, column: 9, }, end: Position { line: 371, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 371, column: 18, }, end: Position { line: 371, column: 30, }, }, }, ), ], span: Span { start: Position { line: 371, column: 17, }, end: Position { line: 371, column: 31, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "isSystemUser", span: Span { start: Position { line: 372, column: 9, }, end: Position { line: 372, column: 21, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 372, column: 24, }, end: Position { line: 372, column: 28, }, }, }, ), }, ), ], span: Span { start: Position { line: 369, column: 28, }, end: Position { line: 373, column: 8, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "groups", span: Span { start: Position { line: 374, column: 7, }, end: Position { line: 374, column: 13, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 374, column: 14, }, end: Position { line: 374, column: 26, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 374, column: 29, }, end: Position { line: 374, column: 31, }, }, }, ), }, ), ], span: Span { start: Position { line: 368, column: 13, }, end: Position { line: 375, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "networking", span: Span { start: Position { line: 376, column: 5, }, end: Position { line: 376, column: 15, }, }, }, ), Raw( PartRaw { content: "firewall", span: Span { start: Position { line: 376, column: 16, }, end: Position { line: 376, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 376, column: 27, }, end: Position { line: 376, column: 31, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 376, column: 32, }, end: Position { line: 376, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "openFirewall", span: Span { start: Position { line: 376, column: 36, }, end: Position { line: 376, column: 48, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "allowedTCPPorts", span: Span { start: Position { line: 377, column: 9, }, end: Position { line: 377, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 377, column: 27, }, end: Position { line: 377, column: 34, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 378, column: 10, }, end: Position { line: 378, column: 13, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "proto", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 378, column: 23, }, end: Position { line: 378, column: 27, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 378, column: 29, }, end: Position { line: 378, column: 32, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 378, column: 35, }, end: Position { line: 378, column: 40, }, }, }, ), }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 378, column: 42, }, end: Position { line: 378, column: 48, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 378, column: 52, }, end: Position { line: 378, column: 57, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "port", span: Span { start: Position { line: 378, column: 58, }, end: Position { line: 378, column: 62, }, }, }, ), Raw( PartRaw { content: "check", span: Span { start: Position { line: 378, column: 63, }, end: Position { line: 378, column: 68, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 378, column: 69, }, end: Position { line: 378, column: 72, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 378, column: 75, }, end: Position { line: 378, column: 80, }, }, }, ), }, ), Raw( PartRaw { content: "port", span: Span { start: Position { line: 378, column: 82, }, end: Position { line: 378, column: 86, }, }, }, ), ], default: None, }, ), ], }, ), }, ), List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 378, column: 90, }, end: Position { line: 378, column: 93, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 378, column: 96, }, end: Position { line: 378, column: 101, }, }, }, ), }, ), Raw( PartRaw { content: "port", span: Span { start: Position { line: 378, column: 103, }, end: Position { line: 378, column: 107, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 378, column: 88, }, end: Position { line: 378, column: 109, }, }, }, ), ], }, ), span: Span { start: Position { line: 378, column: 15, }, end: Position { line: 378, column: 110, }, }, }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 379, column: 11, }, end: Position { line: 379, column: 15, }, }, }, ), ], span: Span { start: Position { line: 379, column: 10, }, end: Position { line: 379, column: 16, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 379, column: 18, }, end: Position { line: 379, column: 22, }, }, }, ), ], span: Span { start: Position { line: 379, column: 17, }, end: Position { line: 379, column: 23, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 379, column: 25, }, end: Position { line: 379, column: 29, }, }, }, ), ], span: Span { start: Position { line: 379, column: 24, }, end: Position { line: 379, column: 30, }, }, }, ), ], span: Span { start: Position { line: 379, column: 9, }, end: Position { line: 379, column: 31, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 377, column: 7, }, end: Position { line: 380, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 381, column: 5, }, end: Position { line: 381, column: 13, }, }, }, ), Raw( PartRaw { content: "postfix", span: Span { start: Position { line: 381, column: 14, }, end: Position { line: 381, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 381, column: 24, }, end: Position { line: 381, column: 28, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 381, column: 30, }, end: Position { line: 381, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "postfix", span: Span { start: Position { line: 381, column: 34, }, end: Position { line: 381, column: 41, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 381, column: 42, }, end: Position { line: 381, column: 48, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 381, column: 52, }, end: Position { line: 381, column: 55, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mda", span: Span { start: Position { line: 381, column: 56, }, end: Position { line: 381, column: 59, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 381, column: 60, }, end: Position { line: 381, column: 66, }, }, }, ), ], default: None, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "config", span: Span { start: Position { line: 383, column: 7, }, end: Position { line: 383, column: 13, }, }, }, ), Raw( PartRaw { content: "public-inbox_destination_recipient_limit", span: Span { start: Position { line: 383, column: 14, }, end: Position { line: 383, column: 54, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "1", span: Span { start: Position { line: 383, column: 58, }, end: Position { line: 383, column: 59, }, }, }, ), ], span: Span { start: Position { line: 383, column: 57, }, end: Position { line: 383, column: 60, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "virtual", span: Span { start: Position { line: 386, column: 7, }, end: Position { line: 386, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 387, column: 9, }, end: Position { line: 387, column: 25, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 387, column: 27, }, end: Position { line: 387, column: 29, }, }, }, ), ], span: Span { start: Position { line: 387, column: 26, }, end: Position { line: 387, column: 30, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 387, column: 32, }, end: Position { line: 387, column: 46, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "_", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "inbox", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatMapStringsSep", span: Span { start: Position { line: 388, column: 11, }, end: Position { line: 388, column: 30, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 388, column: 32, }, end: Position { line: 388, column: 34, }, }, }, ), ], span: Span { start: Position { line: 388, column: 31, }, end: Position { line: 388, column: 35, }, }, }, ), Function( Function { head: Simple( FunctionHeadSimple { identifier: "address", }, ), body: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "address", span: Span { start: Position { line: 389, column: 16, }, end: Position { line: 389, column: 23, }, }, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 389, column: 14, }, end: Position { line: 389, column: 25, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "address", span: Span { start: Position { line: 389, column: 27, }, end: Position { line: 389, column: 34, }, }, }, ), }, ), ], span: Span { start: Position { line: 389, column: 13, }, end: Position { line: 389, column: 36, }, }, }, ), span: Span { start: Position { line: 388, column: 37, }, end: Position { line: 389, column: 36, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 390, column: 13, }, end: Position { line: 390, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "address", span: Span { start: Position { line: 390, column: 19, }, end: Position { line: 390, column: 26, }, }, }, ), ], default: None, }, ), ], }, ), span: Span { start: Position { line: 387, column: 51, }, end: Position { line: 390, column: 26, }, }, }, ), span: Span { start: Position { line: 387, column: 48, }, end: Position { line: 390, column: 26, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 391, column: 11, }, end: Position { line: 391, column: 14, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 391, column: 15, }, end: Position { line: 391, column: 22, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "transport", span: Span { start: Position { line: 394, column: 7, }, end: Position { line: 394, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 395, column: 9, }, end: Position { line: 395, column: 25, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 395, column: 27, }, end: Position { line: 395, column: 29, }, }, }, ), ], span: Span { start: Position { line: 395, column: 26, }, end: Position { line: 395, column: 30, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 395, column: 32, }, end: Position { line: 395, column: 46, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "_", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "inbox", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatMapStringsSep", span: Span { start: Position { line: 396, column: 11, }, end: Position { line: 396, column: 30, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 396, column: 32, }, end: Position { line: 396, column: 34, }, }, }, ), ], span: Span { start: Position { line: 396, column: 31, }, end: Position { line: 396, column: 35, }, }, }, ), Function( Function { head: Simple( FunctionHeadSimple { identifier: "address", }, ), body: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "address", span: Span { start: Position { line: 397, column: 16, }, end: Position { line: 397, column: 23, }, }, }, ), }, ), Raw( PartRaw { content: " public-inbox:", span: Span { start: Position { line: 397, column: 14, }, end: Position { line: 397, column: 38, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "address", span: Span { start: Position { line: 397, column: 40, }, end: Position { line: 397, column: 47, }, }, }, ), }, ), ], span: Span { start: Position { line: 397, column: 13, }, end: Position { line: 397, column: 49, }, }, }, ), span: Span { start: Position { line: 396, column: 37, }, end: Position { line: 397, column: 49, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 398, column: 13, }, end: Position { line: 398, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "address", span: Span { start: Position { line: 398, column: 19, }, end: Position { line: 398, column: 26, }, }, }, ), ], default: None, }, ), ], }, ), span: Span { start: Position { line: 395, column: 51, }, end: Position { line: 398, column: 26, }, }, }, ), span: Span { start: Position { line: 395, column: 48, }, end: Position { line: 398, column: 26, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 399, column: 11, }, end: Position { line: 399, column: 14, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 399, column: 15, }, end: Position { line: 399, column: 22, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "masterConfig", span: Span { start: Position { line: 402, column: 7, }, end: Position { line: 402, column: 19, }, }, }, ), Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 402, column: 20, }, end: Position { line: 402, column: 32, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 403, column: 9, }, end: Position { line: 403, column: 13, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "unix", span: Span { start: Position { line: 403, column: 17, }, end: Position { line: 403, column: 21, }, }, }, ), ], span: Span { start: Position { line: 403, column: 16, }, end: Position { line: 403, column: 22, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "privileged", span: Span { start: Position { line: 404, column: 9, }, end: Position { line: 404, column: 19, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 404, column: 22, }, end: Position { line: 404, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "command", span: Span { start: Position { line: 405, column: 9, }, end: Position { line: 405, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "pipe", span: Span { start: Position { line: 405, column: 20, }, end: Position { line: 405, column: 24, }, }, }, ), ], span: Span { start: Position { line: 405, column: 19, }, end: Position { line: 405, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "args", span: Span { start: Position { line: 406, column: 9, }, end: Position { line: 406, column: 13, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "flags=X", span: Span { start: Position { line: 407, column: 12, }, end: Position { line: 407, column: 19, }, }, }, ), ], span: Span { start: Position { line: 407, column: 11, }, end: Position { line: 407, column: 20, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "user=", span: Span { start: Position { line: 408, column: 12, }, end: Position { line: 408, column: 99, }, }, }, ), Interpolation( PartInterpolation { expression: With( With { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 408, column: 24, }, end: Position { line: 408, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 408, column: 31, }, end: Position { line: 408, column: 36, }, }, }, ), ], default: None, }, ), target: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "users", span: Span { start: Position { line: 408, column: 38, }, end: Position { line: 408, column: 43, }, }, }, ), attribute_path: [ Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 408, column: 45, }, end: Position { line: 408, column: 57, }, }, }, ), ], span: Span { start: Position { line: 408, column: 44, }, end: Position { line: 408, column: 58, }, }, }, ), }, ), Raw( PartRaw { content: "name", span: Span { start: Position { line: 408, column: 59, }, end: Position { line: 408, column: 63, }, }, }, ), ], default: None, }, ), operator: Addition, right: String( String_ { parts: [ Raw( PartRaw { content: ":", span: Span { start: Position { line: 408, column: 67, }, end: Position { line: 408, column: 68, }, }, }, ), ], span: Span { start: Position { line: 408, column: 66, }, end: Position { line: 408, column: 69, }, }, }, ), }, ), operator: Addition, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "groups", span: Span { start: Position { line: 408, column: 72, }, end: Position { line: 408, column: 78, }, }, }, ), attribute_path: [ Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox", span: Span { start: Position { line: 408, column: 80, }, end: Position { line: 408, column: 92, }, }, }, ), ], span: Span { start: Position { line: 408, column: 79, }, end: Position { line: 408, column: 93, }, }, }, ), }, ), Raw( PartRaw { content: "name", span: Span { start: Position { line: 408, column: 94, }, end: Position { line: 408, column: 98, }, }, }, ), ], default: None, }, ), }, ), span: Span { start: Position { line: 408, column: 19, }, end: Position { line: 408, column: 98, }, }, }, ), }, ), ], span: Span { start: Position { line: 408, column: 11, }, end: Position { line: 408, column: 100, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "argv=", span: Span { start: Position { line: 412, column: 12, }, end: Position { line: 417, column: 14, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 412, column: 19, }, end: Position { line: 412, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "writeShellScript", span: Span { start: Position { line: 412, column: 24, }, end: Position { line: 412, column: 40, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-transport", span: Span { start: Position { line: 412, column: 42, }, end: Position { line: 412, column: 64, }, }, }, ), ], span: Span { start: Position { line: 412, column: 41, }, end: Position { line: 412, column: 65, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "export HOME=\"", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 413, column: 26, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 413, column: 28, }, end: Position { line: 413, column: 36, }, }, }, ), }, ), Raw( PartRaw { content: "\"\nexport ORIGINAL_RECIPIENT=\"", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 414, column: 40, }, }, }, ), Raw( PartRaw { content: "$", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 414, column: 43, }, }, }, ), Raw( PartRaw { content: "{2:-1}\"\nexport PATH=\"", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 415, column: 26, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeBinPath", span: Span { start: Position { line: 415, column: 28, }, end: Position { line: 415, column: 39, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 415, column: 40, }, end: Position { line: 415, column: 43, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 415, column: 44, }, end: Position { line: 415, column: 48, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: ":$PATH\"\nexec ", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 416, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 416, column: 20, }, end: Position { line: 416, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 416, column: 24, }, end: Position { line: 416, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-mda ", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 416, column: 54, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArgs", span: Span { start: Position { line: 416, column: 56, }, end: Position { line: 416, column: 71, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 416, column: 72, }, end: Position { line: 416, column: 75, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mda", span: Span { start: Position { line: 416, column: 76, }, end: Position { line: 416, column: 79, }, }, }, ), Raw( PartRaw { content: "args", span: Span { start: Position { line: 416, column: 80, }, end: Position { line: 416, column: 84, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 413, column: 1, }, end: Position { line: 417, column: 11, }, }, }, ), ], span: Span { start: Position { line: 412, column: 66, }, end: Position { line: 417, column: 13, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: " ${original_recipient} ${nexthop}", span: Span { start: Position { line: 412, column: 12, }, end: Position { line: 417, column: 49, }, }, }, ), ], span: Span { start: Position { line: 412, column: 11, }, end: Position { line: 417, column: 50, }, }, }, ), ], span: Span { start: Position { line: 406, column: 16, }, end: Position { line: 418, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 402, column: 35, }, end: Position { line: 419, column: 8, }, }, }, ), }, ), ], span: Span { start: Position { line: 381, column: 68, }, end: Position { line: 420, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 421, column: 5, }, end: Position { line: 421, column: 12, }, }, }, ), Raw( PartRaw { content: "sockets", span: Span { start: Position { line: 421, column: 13, }, end: Position { line: 421, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 421, column: 23, }, end: Position { line: 421, column: 30, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 421, column: 32, }, end: Position { line: 421, column: 35, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "proto", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 422, column: 7, }, end: Position { line: 422, column: 11, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 422, column: 13, }, end: Position { line: 422, column: 16, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 422, column: 19, }, end: Position { line: 422, column: 24, }, }, }, ), }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 422, column: 26, }, end: Position { line: 422, column: 32, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 422, column: 36, }, end: Position { line: 422, column: 39, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 422, column: 42, }, end: Position { line: 422, column: 47, }, }, }, ), }, ), Raw( PartRaw { content: "port", span: Span { start: Position { line: 422, column: 49, }, end: Position { line: 422, column: 53, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 422, column: 57, }, end: Position { line: 422, column: 61, }, }, }, ), }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-", span: Span { start: Position { line: 423, column: 12, }, end: Position { line: 423, column: 33, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 423, column: 27, }, end: Position { line: 423, column: 32, }, }, }, ), }, ), Raw( PartRaw { content: "d", span: Span { start: Position { line: 423, column: 12, }, end: Position { line: 423, column: 34, }, }, }, ), ], span: Span { start: Position { line: 423, column: 11, }, end: Position { line: 423, column: 35, }, }, }, ), }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "listenStreams", span: Span { start: Position { line: 424, column: 13, }, end: Position { line: 424, column: 26, }, }, }, ), ], to: List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 424, column: 32, }, end: Position { line: 424, column: 40, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 424, column: 41, }, end: Position { line: 424, column: 44, }, }, }, ), attribute_path: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "proto", span: Span { start: Position { line: 424, column: 47, }, end: Position { line: 424, column: 52, }, }, }, ), }, ), Raw( PartRaw { content: "port", span: Span { start: Position { line: 424, column: 54, }, end: Position { line: 424, column: 58, }, }, }, ), ], default: None, }, ), ], }, ), ], span: Span { start: Position { line: 424, column: 29, }, end: Position { line: 424, column: 61, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wantedBy", span: Span { start: Position { line: 425, column: 13, }, end: Position { line: 425, column: 21, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "sockets.target", span: Span { start: Position { line: 425, column: 27, }, end: Position { line: 425, column: 41, }, }, }, ), ], span: Span { start: Position { line: 425, column: 26, }, end: Position { line: 425, column: 42, }, }, }, ), ], span: Span { start: Position { line: 425, column: 24, }, end: Position { line: 425, column: 44, }, }, }, ), }, ), ], span: Span { start: Position { line: 423, column: 38, }, end: Position { line: 426, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 423, column: 9, }, end: Position { line: 427, column: 10, }, }, }, ), ], }, ), span: Span { start: Position { line: 421, column: 37, }, end: Position { line: 427, column: 10, }, }, }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 428, column: 12, }, end: Position { line: 428, column: 16, }, }, }, ), ], span: Span { start: Position { line: 428, column: 11, }, end: Position { line: 428, column: 17, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 428, column: 19, }, end: Position { line: 428, column: 23, }, }, }, ), ], span: Span { start: Position { line: 428, column: 18, }, end: Position { line: 428, column: 24, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 428, column: 26, }, end: Position { line: 428, column: 30, }, }, }, ), ], span: Span { start: Position { line: 428, column: 25, }, end: Position { line: 428, column: 31, }, }, }, ), ], span: Span { start: Position { line: 428, column: 9, }, end: Position { line: 428, column: 33, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 429, column: 5, }, end: Position { line: 429, column: 12, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 429, column: 13, }, end: Position { line: 429, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 429, column: 24, }, end: Position { line: 429, column: 31, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 430, column: 8, }, end: Position { line: 430, column: 12, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 430, column: 13, }, end: Position { line: 430, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 430, column: 17, }, end: Position { line: 430, column: 21, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 430, column: 22, }, end: Position { line: 430, column: 28, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "public-inbox-imapd", span: Span { start: Position { line: 431, column: 11, }, end: Position { line: 431, column: 29, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 431, column: 32, }, end: Position { line: 431, column: 39, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "serviceConfig", span: Span { start: Position { line: 431, column: 42, }, end: Position { line: 431, column: 55, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "imapd", span: Span { start: Position { line: 431, column: 57, }, end: Position { line: 431, column: 62, }, }, }, ), ], span: Span { start: Position { line: 431, column: 56, }, end: Position { line: 431, column: 63, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "after", span: Span { start: Position { line: 432, column: 11, }, end: Position { line: 432, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 432, column: 22, }, end: Position { line: 432, column: 47, }, }, }, ), ], span: Span { start: Position { line: 432, column: 21, }, end: Position { line: 432, column: 48, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-watch.service", span: Span { start: Position { line: 432, column: 50, }, end: Position { line: 432, column: 76, }, }, }, ), ], span: Span { start: Position { line: 432, column: 49, }, end: Position { line: 432, column: 77, }, }, }, ), ], span: Span { start: Position { line: 432, column: 19, }, end: Position { line: 432, column: 79, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "requires", span: Span { start: Position { line: 433, column: 11, }, end: Position { line: 433, column: 19, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 433, column: 25, }, end: Position { line: 433, column: 50, }, }, }, ), ], span: Span { start: Position { line: 433, column: 24, }, end: Position { line: 433, column: 51, }, }, }, ), ], span: Span { start: Position { line: 433, column: 22, }, end: Position { line: 433, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 434, column: 11, }, end: Position { line: 434, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecStart", span: Span { start: Position { line: 435, column: 13, }, end: Position { line: 435, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArgs", span: Span { start: Position { line: 435, column: 25, }, end: Position { line: 435, column: 40, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 436, column: 20, }, end: Position { line: 436, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 436, column: 24, }, end: Position { line: 436, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-imapd", span: Span { start: Position { line: 436, column: 18, }, end: Position { line: 436, column: 55, }, }, }, ), ], span: Span { start: Position { line: 436, column: 17, }, end: Position { line: 436, column: 56, }, }, }, ), ], span: Span { start: Position { line: 436, column: 15, }, end: Position { line: 436, column: 58, }, }, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 437, column: 15, }, end: Position { line: 437, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 437, column: 19, }, end: Position { line: 437, column: 23, }, }, }, ), Raw( PartRaw { content: "args", span: Span { start: Position { line: 437, column: 24, }, end: Position { line: 437, column: 28, }, }, }, ), ], default: None, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 438, column: 15, }, end: Position { line: 438, column: 24, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 438, column: 26, }, end: Position { line: 438, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 438, column: 30, }, end: Position { line: 438, column: 34, }, }, }, ), Raw( PartRaw { content: "cert", span: Span { start: Position { line: 438, column: 35, }, end: Position { line: 438, column: 39, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 438, column: 43, }, end: Position { line: 438, column: 47, }, }, }, ), }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "--cert", span: Span { start: Position { line: 438, column: 52, }, end: Position { line: 438, column: 58, }, }, }, ), ], span: Span { start: Position { line: 438, column: 51, }, end: Position { line: 438, column: 59, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 438, column: 60, }, end: Position { line: 438, column: 63, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 438, column: 64, }, end: Position { line: 438, column: 68, }, }, }, ), Raw( PartRaw { content: "cert", span: Span { start: Position { line: 438, column: 69, }, end: Position { line: 438, column: 73, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 438, column: 49, }, end: Position { line: 438, column: 75, }, }, }, ), ], }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 439, column: 15, }, end: Position { line: 439, column: 24, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 439, column: 26, }, end: Position { line: 439, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 439, column: 30, }, end: Position { line: 439, column: 34, }, }, }, ), Raw( PartRaw { content: "key", span: Span { start: Position { line: 439, column: 35, }, end: Position { line: 439, column: 38, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 439, column: 42, }, end: Position { line: 439, column: 46, }, }, }, ), }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "--key", span: Span { start: Position { line: 439, column: 51, }, end: Position { line: 439, column: 56, }, }, }, ), ], span: Span { start: Position { line: 439, column: 50, }, end: Position { line: 439, column: 57, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 439, column: 58, }, end: Position { line: 439, column: 61, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 439, column: 62, }, end: Position { line: 439, column: 66, }, }, }, ), Raw( PartRaw { content: "key", span: Span { start: Position { line: 439, column: 67, }, end: Position { line: 439, column: 70, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 439, column: 48, }, end: Position { line: 439, column: 72, }, }, }, ), ], }, ), }, ), }, ), }, ), ], }, ), }, ), ], span: Span { start: Position { line: 434, column: 27, }, end: Position { line: 441, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 431, column: 65, }, end: Position { line: 442, column: 10, }, }, }, ), ], span: Span { start: Position { line: 431, column: 40, }, end: Position { line: 442, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 431, column: 9, }, end: Position { line: 443, column: 8, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 444, column: 8, }, end: Position { line: 444, column: 12, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 444, column: 13, }, end: Position { line: 444, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 444, column: 17, }, end: Position { line: 444, column: 21, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 444, column: 22, }, end: Position { line: 444, column: 28, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "public-inbox-httpd", span: Span { start: Position { line: 445, column: 11, }, end: Position { line: 445, column: 29, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 445, column: 32, }, end: Position { line: 445, column: 39, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "serviceConfig", span: Span { start: Position { line: 445, column: 42, }, end: Position { line: 445, column: 55, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "httpd", span: Span { start: Position { line: 445, column: 57, }, end: Position { line: 445, column: 62, }, }, }, ), ], span: Span { start: Position { line: 445, column: 56, }, end: Position { line: 445, column: 63, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "after", span: Span { start: Position { line: 446, column: 11, }, end: Position { line: 446, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 446, column: 22, }, end: Position { line: 446, column: 47, }, }, }, ), ], span: Span { start: Position { line: 446, column: 21, }, end: Position { line: 446, column: 48, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-watch.service", span: Span { start: Position { line: 446, column: 50, }, end: Position { line: 446, column: 76, }, }, }, ), ], span: Span { start: Position { line: 446, column: 49, }, end: Position { line: 446, column: 77, }, }, }, ), ], span: Span { start: Position { line: 446, column: 19, }, end: Position { line: 446, column: 79, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "requires", span: Span { start: Position { line: 447, column: 11, }, end: Position { line: 447, column: 19, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 447, column: 25, }, end: Position { line: 447, column: 50, }, }, }, ), ], span: Span { start: Position { line: 447, column: 24, }, end: Position { line: 447, column: 51, }, }, }, ), ], span: Span { start: Position { line: 447, column: 22, }, end: Position { line: 447, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 448, column: 11, }, end: Position { line: 448, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecStart", span: Span { start: Position { line: 449, column: 13, }, end: Position { line: 449, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArgs", span: Span { start: Position { line: 449, column: 25, }, end: Position { line: 449, column: 40, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 450, column: 20, }, end: Position { line: 450, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 450, column: 24, }, end: Position { line: 450, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-httpd", span: Span { start: Position { line: 450, column: 18, }, end: Position { line: 450, column: 55, }, }, }, ), ], span: Span { start: Position { line: 450, column: 17, }, end: Position { line: 450, column: 56, }, }, }, ), ], span: Span { start: Position { line: 450, column: 15, }, end: Position { line: 450, column: 58, }, }, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 451, column: 15, }, end: Position { line: 451, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 451, column: 19, }, end: Position { line: 451, column: 23, }, }, }, ), Raw( PartRaw { content: "args", span: Span { start: Position { line: 451, column: 24, }, end: Position { line: 451, column: 28, }, }, }, ), ], default: None, }, ), operator: Concatenation, right: List( List { elements: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 454, column: 18, }, end: Position { line: 454, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "writeText", span: Span { start: Position { line: 454, column: 23, }, end: Position { line: 454, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox.psgi", span: Span { start: Position { line: 454, column: 34, }, end: Position { line: 454, column: 51, }, }, }, ), ], span: Span { start: Position { line: 454, column: 33, }, end: Position { line: 454, column: 52, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "#!", span: Span { start: Position { line: 455, column: 1, }, end: Position { line: 455, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 455, column: 21, }, end: Position { line: 455, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 455, column: 25, }, end: Position { line: 455, column: 32, }, }, }, ), Raw( PartRaw { content: "fullperl", span: Span { start: Position { line: 455, column: 33, }, end: Position { line: 455, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " -w\nuse strict;\nuse warnings;\nuse Plack::Builder;\nuse PublicInbox::WWW;\n\nmy $www = PublicInbox::WWW->new;\n$www->preload;\n\nbuilder {\n # If reached through a reverse proxy,\n # make it transparent by resetting some HTTP headers\n # used by public-inbox to generate URIs.\n enable 'ReverseProxy';\n\n # No need to send a response body if it's an HTTP HEAD requests.\n enable 'Head';\n\n # Route according to configured domains and root paths.\n ", span: Span { start: Position { line: 455, column: 1, }, end: Position { line: 474, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatMapStrings", span: Span { start: Position { line: 474, column: 21, }, end: Position { line: 474, column: 37, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "path", }, ), body: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "mount q(", span: Span { start: Position { line: 475, column: 1, }, end: Position { line: 475, column: 27, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "path", span: Span { start: Position { line: 475, column: 29, }, end: Position { line: 475, column: 33, }, }, }, ), }, ), Raw( PartRaw { content: ") => sub { $www->call(@_); };\n", span: Span { start: Position { line: 475, column: 1, }, end: Position { line: 476, column: 19, }, }, }, ), ], span: Span { start: Position { line: 474, column: 45, }, end: Position { line: 476, column: 21, }, }, }, ), span: Span { start: Position { line: 474, column: 39, }, end: Position { line: 476, column: 21, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 476, column: 23, }, end: Position { line: 476, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "http", span: Span { start: Position { line: 476, column: 27, }, end: Position { line: 476, column: 31, }, }, }, ), Raw( PartRaw { content: "mounts", span: Span { start: Position { line: 476, column: 32, }, end: Position { line: 476, column: 38, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n}\n", span: Span { start: Position { line: 455, column: 1, }, end: Position { line: 478, column: 15, }, }, }, ), ], span: Span { start: Position { line: 454, column: 53, }, end: Position { line: 478, column: 17, }, }, }, ), ], }, ), ], span: Span { start: Position { line: 454, column: 15, }, end: Position { line: 478, column: 20, }, }, }, ), }, ), }, ), ], }, ), }, ), ], span: Span { start: Position { line: 448, column: 27, }, end: Position { line: 480, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 445, column: 65, }, end: Position { line: 481, column: 10, }, }, }, ), ], span: Span { start: Position { line: 445, column: 40, }, end: Position { line: 481, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 445, column: 9, }, end: Position { line: 482, column: 8, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 483, column: 8, }, end: Position { line: 483, column: 12, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 483, column: 13, }, end: Position { line: 483, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 483, column: 17, }, end: Position { line: 483, column: 21, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 483, column: 22, }, end: Position { line: 483, column: 28, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "public-inbox-nntpd", span: Span { start: Position { line: 484, column: 11, }, end: Position { line: 484, column: 29, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 484, column: 32, }, end: Position { line: 484, column: 39, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "serviceConfig", span: Span { start: Position { line: 484, column: 42, }, end: Position { line: 484, column: 55, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "nntpd", span: Span { start: Position { line: 484, column: 57, }, end: Position { line: 484, column: 62, }, }, }, ), ], span: Span { start: Position { line: 484, column: 56, }, end: Position { line: 484, column: 63, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "after", span: Span { start: Position { line: 485, column: 11, }, end: Position { line: 485, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 485, column: 22, }, end: Position { line: 485, column: 47, }, }, }, ), ], span: Span { start: Position { line: 485, column: 21, }, end: Position { line: 485, column: 48, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-watch.service", span: Span { start: Position { line: 485, column: 50, }, end: Position { line: 485, column: 76, }, }, }, ), ], span: Span { start: Position { line: 485, column: 49, }, end: Position { line: 485, column: 77, }, }, }, ), ], span: Span { start: Position { line: 485, column: 19, }, end: Position { line: 485, column: 79, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "requires", span: Span { start: Position { line: 486, column: 11, }, end: Position { line: 486, column: 19, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 486, column: 25, }, end: Position { line: 486, column: 50, }, }, }, ), ], span: Span { start: Position { line: 486, column: 24, }, end: Position { line: 486, column: 51, }, }, }, ), ], span: Span { start: Position { line: 486, column: 22, }, end: Position { line: 486, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 487, column: 11, }, end: Position { line: 487, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecStart", span: Span { start: Position { line: 488, column: 13, }, end: Position { line: 488, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArgs", span: Span { start: Position { line: 488, column: 25, }, end: Position { line: 488, column: 40, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 489, column: 20, }, end: Position { line: 489, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 489, column: 24, }, end: Position { line: 489, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-nntpd", span: Span { start: Position { line: 489, column: 18, }, end: Position { line: 489, column: 55, }, }, }, ), ], span: Span { start: Position { line: 489, column: 17, }, end: Position { line: 489, column: 56, }, }, }, ), ], span: Span { start: Position { line: 489, column: 15, }, end: Position { line: 489, column: 58, }, }, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 490, column: 15, }, end: Position { line: 490, column: 18, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 490, column: 19, }, end: Position { line: 490, column: 23, }, }, }, ), Raw( PartRaw { content: "args", span: Span { start: Position { line: 490, column: 24, }, end: Position { line: 490, column: 28, }, }, }, ), ], default: None, }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 491, column: 15, }, end: Position { line: 491, column: 24, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 491, column: 26, }, end: Position { line: 491, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 491, column: 30, }, end: Position { line: 491, column: 34, }, }, }, ), Raw( PartRaw { content: "cert", span: Span { start: Position { line: 491, column: 35, }, end: Position { line: 491, column: 39, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 491, column: 43, }, end: Position { line: 491, column: 47, }, }, }, ), }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "--cert", span: Span { start: Position { line: 491, column: 52, }, end: Position { line: 491, column: 58, }, }, }, ), ], span: Span { start: Position { line: 491, column: 51, }, end: Position { line: 491, column: 59, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 491, column: 60, }, end: Position { line: 491, column: 63, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 491, column: 64, }, end: Position { line: 491, column: 68, }, }, }, ), Raw( PartRaw { content: "cert", span: Span { start: Position { line: 491, column: 69, }, end: Position { line: 491, column: 73, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 491, column: 49, }, end: Position { line: 491, column: 75, }, }, }, ), ], }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionals", span: Span { start: Position { line: 492, column: 15, }, end: Position { line: 492, column: 24, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 492, column: 26, }, end: Position { line: 492, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 492, column: 30, }, end: Position { line: 492, column: 34, }, }, }, ), Raw( PartRaw { content: "key", span: Span { start: Position { line: 492, column: 35, }, end: Position { line: 492, column: 38, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 492, column: 42, }, end: Position { line: 492, column: 46, }, }, }, ), }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "--key", span: Span { start: Position { line: 492, column: 51, }, end: Position { line: 492, column: 56, }, }, }, ), ], span: Span { start: Position { line: 492, column: 50, }, end: Position { line: 492, column: 57, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 492, column: 58, }, end: Position { line: 492, column: 61, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nntp", span: Span { start: Position { line: 492, column: 62, }, end: Position { line: 492, column: 66, }, }, }, ), Raw( PartRaw { content: "key", span: Span { start: Position { line: 492, column: 67, }, end: Position { line: 492, column: 70, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 492, column: 48, }, end: Position { line: 492, column: 72, }, }, }, ), ], }, ), }, ), }, ), }, ), ], }, ), }, ), ], span: Span { start: Position { line: 487, column: 27, }, end: Position { line: 494, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 484, column: 65, }, end: Position { line: 495, column: 10, }, }, }, ), ], span: Span { start: Position { line: 484, column: 40, }, end: Position { line: 495, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 484, column: 9, }, end: Position { line: 496, column: 8, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 497, column: 8, }, end: Position { line: 497, column: 12, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "any", span: Span { start: Position { line: 497, column: 14, }, end: Position { line: 497, column: 17, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "inbox", }, ), body: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 497, column: 26, }, end: Position { line: 497, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "watch", span: Span { start: Position { line: 497, column: 32, }, end: Position { line: 497, column: 37, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: List( List { elements: [], span: Span { start: Position { line: 497, column: 41, }, end: Position { line: 497, column: 43, }, }, }, ), }, ), span: Span { start: Position { line: 497, column: 19, }, end: Position { line: 497, column: 43, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrValues", span: Span { start: Position { line: 497, column: 46, }, end: Position { line: 497, column: 56, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 497, column: 57, }, end: Position { line: 497, column: 60, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 497, column: 61, }, end: Position { line: 497, column: 68, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), operator: LogicalOr, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 498, column: 12, }, end: Position { line: 498, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 498, column: 16, }, end: Position { line: 498, column: 24, }, }, }, ), Raw( PartRaw { content: "publicinboxwatch", span: Span { start: Position { line: 498, column: 25, }, end: Position { line: 498, column: 41, }, }, }, ), Raw( PartRaw { content: "watchspam", span: Span { start: Position { line: 498, column: 42, }, end: Position { line: 498, column: 51, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 498, column: 55, }, end: Position { line: 498, column: 59, }, }, }, ), }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "public-inbox-watch", span: Span { start: Position { line: 499, column: 11, }, end: Position { line: 499, column: 29, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 499, column: 32, }, end: Position { line: 499, column: 39, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "serviceConfig", span: Span { start: Position { line: 499, column: 42, }, end: Position { line: 499, column: 55, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "watch", span: Span { start: Position { line: 499, column: 57, }, end: Position { line: 499, column: 62, }, }, }, ), ], span: Span { start: Position { line: 499, column: 56, }, end: Position { line: 499, column: 63, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ Inherit( BindingInherit { from: Some( Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 500, column: 20, }, end: Position { line: 500, column: 23, }, }, }, ), ), attributes: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 500, column: 25, }, end: Position { line: 500, column: 29, }, }, }, ), ], span: Span { start: Position { line: 499, column: 66, }, end: Position { line: 500, column: 30, }, }, }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wants", span: Span { start: Position { line: 501, column: 11, }, end: Position { line: 501, column: 16, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 501, column: 22, }, end: Position { line: 501, column: 47, }, }, }, ), ], span: Span { start: Position { line: 501, column: 21, }, end: Position { line: 501, column: 48, }, }, }, ), ], span: Span { start: Position { line: 501, column: 19, }, end: Position { line: 501, column: 50, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "requires", span: Span { start: Position { line: 502, column: 11, }, end: Position { line: 502, column: 19, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox-init.service", span: Span { start: Position { line: 502, column: 25, }, end: Position { line: 502, column: 50, }, }, }, ), ], span: Span { start: Position { line: 502, column: 24, }, end: Position { line: 502, column: 51, }, }, }, ), ], span: Span { start: Position { line: 502, column: 22, }, end: Position { line: 502, column: 53, }, }, }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optional", span: Span { start: Position { line: 503, column: 13, }, end: Position { line: 503, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 503, column: 23, }, end: Position { line: 503, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 503, column: 27, }, end: Position { line: 503, column: 35, }, }, }, ), Raw( PartRaw { content: "publicinboxwatch", span: Span { start: Position { line: 503, column: 36, }, end: Position { line: 503, column: 52, }, }, }, ), Raw( PartRaw { content: "spamcheck", span: Span { start: Position { line: 503, column: 53, }, end: Position { line: 503, column: 62, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "spamc", span: Span { start: Position { line: 503, column: 67, }, end: Position { line: 503, column: 72, }, }, }, ), ], span: Span { start: Position { line: 503, column: 66, }, end: Position { line: 503, column: 73, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "spamassassin.service", span: Span { start: Position { line: 503, column: 76, }, end: Position { line: 503, column: 96, }, }, }, ), ], span: Span { start: Position { line: 503, column: 75, }, end: Position { line: 503, column: 97, }, }, }, ), ], }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wantedBy", span: Span { start: Position { line: 504, column: 11, }, end: Position { line: 504, column: 19, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "multi-user.target", span: Span { start: Position { line: 504, column: 25, }, end: Position { line: 504, column: 42, }, }, }, ), ], span: Span { start: Position { line: 504, column: 24, }, end: Position { line: 504, column: 43, }, }, }, ), ], span: Span { start: Position { line: 504, column: 22, }, end: Position { line: 504, column: 45, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 505, column: 11, }, end: Position { line: 505, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecStart", span: Span { start: Position { line: 506, column: 13, }, end: Position { line: 506, column: 22, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 506, column: 28, }, end: Position { line: 506, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 506, column: 32, }, end: Position { line: 506, column: 39, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-watch", span: Span { start: Position { line: 506, column: 26, }, end: Position { line: 506, column: 63, }, }, }, ), ], span: Span { start: Position { line: 506, column: 25, }, end: Position { line: 506, column: 64, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecReload", span: Span { start: Position { line: 507, column: 13, }, end: Position { line: 507, column: 23, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 507, column: 29, }, end: Position { line: 507, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "coreutils", span: Span { start: Position { line: 507, column: 34, }, end: Position { line: 507, column: 43, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/kill -HUP $MAINPID", span: Span { start: Position { line: 507, column: 27, }, end: Position { line: 507, column: 67, }, }, }, ), ], span: Span { start: Position { line: 507, column: 26, }, end: Position { line: 507, column: 68, }, }, }, ), }, ), ], span: Span { start: Position { line: 505, column: 27, }, end: Position { line: 508, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 499, column: 65, }, end: Position { line: 509, column: 10, }, }, }, ), ], span: Span { start: Position { line: 499, column: 40, }, end: Position { line: 509, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 499, column: 9, }, end: Position { line: 510, column: 8, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "public-inbox-init", span: Span { start: Position { line: 511, column: 10, }, end: Position { line: 511, column: 27, }, }, }, ), ], to: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PI_CONFIG", span: Span { start: Position { line: 512, column: 11, }, end: Position { line: 512, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "gitIni", span: Span { start: Position { line: 512, column: 23, }, end: Position { line: 512, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "generate", span: Span { start: Position { line: 512, column: 30, }, end: Position { line: 512, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox.ini", span: Span { start: Position { line: 512, column: 40, }, end: Position { line: 512, column: 56, }, }, }, ), ], span: Span { start: Position { line: 512, column: 39, }, end: Position { line: 512, column: 57, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "filterAttrsRecursive", span: Span { start: Position { line: 513, column: 14, }, end: Position { line: 513, column: 34, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "v", }, ), body: BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "v", span: Span { start: Position { line: 513, column: 42, }, end: Position { line: 513, column: 43, }, }, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 513, column: 47, }, end: Position { line: 513, column: 51, }, }, }, ), }, ), span: Span { start: Position { line: 513, column: 39, }, end: Position { line: 513, column: 51, }, }, }, ), span: Span { start: Position { line: 513, column: 36, }, end: Position { line: 513, column: 51, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 513, column: 53, }, end: Position { line: 513, column: 56, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "settings", span: Span { start: Position { line: 513, column: 57, }, end: Position { line: 513, column: 65, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), ], target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkMerge", span: Span { start: Position { line: 514, column: 14, }, end: Position { line: 514, column: 21, }, }, }, ), arguments: [ List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "serviceConfig", span: Span { start: Position { line: 514, column: 24, }, end: Position { line: 514, column: 37, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "init", span: Span { start: Position { line: 514, column: 39, }, end: Position { line: 514, column: 43, }, }, }, ), ], span: Span { start: Position { line: 514, column: 38, }, end: Position { line: 514, column: 44, }, }, }, ), ], }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wantedBy", span: Span { start: Position { line: 515, column: 11, }, end: Position { line: 515, column: 19, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "multi-user.target", span: Span { start: Position { line: 515, column: 25, }, end: Position { line: 515, column: 42, }, }, }, ), ], span: Span { start: Position { line: 515, column: 24, }, end: Position { line: 515, column: 43, }, }, }, ), ], span: Span { start: Position { line: 515, column: 22, }, end: Position { line: 515, column: 45, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "restartIfChanged", span: Span { start: Position { line: 516, column: 11, }, end: Position { line: 516, column: 27, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 516, column: 30, }, end: Position { line: 516, column: 34, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "restartTriggers", span: Span { start: Position { line: 517, column: 11, }, end: Position { line: 517, column: 26, }, }, }, ), ], to: List( List { elements: [ Identifier( Identifier { id: "PI_CONFIG", span: Span { start: Position { line: 517, column: 31, }, end: Position { line: 517, column: 40, }, }, }, ), ], span: Span { start: Position { line: 517, column: 29, }, end: Position { line: 517, column: 42, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "script", span: Span { start: Position { line: 518, column: 11, }, end: Position { line: 518, column: 17, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "set -ux\ninstall -D -p ", span: Span { start: Position { line: 519, column: 1, }, end: Position { line: 520, column: 27, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "PI_CONFIG", span: Span { start: Position { line: 520, column: 29, }, end: Position { line: 520, column: 38, }, }, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 519, column: 1, }, end: Position { line: 520, column: 40, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 520, column: 42, }, end: Position { line: 520, column: 50, }, }, }, ), }, ), Raw( PartRaw { content: "/.public-inbox/config\n", span: Span { start: Position { line: 519, column: 1, }, end: Position { line: 521, column: 13, }, }, }, ), ], span: Span { start: Position { line: 518, column: 20, }, end: Position { line: 521, column: 15, }, }, }, ), operator: Addition, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 521, column: 18, }, end: Position { line: 521, column: 32, }, }, }, ), arguments: [ Identifier( Identifier { id: "useSpamAssassin", span: Span { start: Position { line: 521, column: 33, }, end: Position { line: 521, column: 48, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "install -m 0700 -o spamd -d ", span: Span { start: Position { line: 522, column: 1, }, end: Position { line: 522, column: 43, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 522, column: 45, }, end: Position { line: 522, column: 53, }, }, }, ), }, ), Raw( PartRaw { content: "/.spamassassin\n", span: Span { start: Position { line: 522, column: 1, }, end: Position { line: 523, column: 15, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 523, column: 17, }, end: Position { line: 523, column: 31, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 523, column: 33, }, end: Position { line: 523, column: 36, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "spamAssassinRules", span: Span { start: Position { line: 523, column: 37, }, end: Position { line: 523, column: 54, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 523, column: 58, }, end: Position { line: 523, column: 62, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "ln -sf ", span: Span { start: Position { line: 524, column: 1, }, end: Position { line: 524, column: 24, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 524, column: 26, }, end: Position { line: 524, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "spamAssassinRules", span: Span { start: Position { line: 524, column: 30, }, end: Position { line: 524, column: 47, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 524, column: 1, }, end: Position { line: 524, column: 49, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 524, column: 51, }, end: Position { line: 524, column: 59, }, }, }, ), }, ), Raw( PartRaw { content: "/.spamassassin/user_prefs\n", span: Span { start: Position { line: 524, column: 1, }, end: Position { line: 525, column: 15, }, }, }, ), ], span: Span { start: Position { line: 523, column: 64, }, end: Position { line: 525, column: 17, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 522, column: 1, }, end: Position { line: 526, column: 13, }, }, }, ), ], span: Span { start: Position { line: 521, column: 49, }, end: Position { line: 526, column: 15, }, }, }, ), ], }, ), }, ), operator: Addition, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStrings", span: Span { start: Position { line: 526, column: 18, }, end: Position { line: 526, column: 31, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 526, column: 33, }, end: Position { line: 526, column: 47, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "name", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "inbox", }, ), body: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "if [ ! -e ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 527, column: 25, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 527, column: 27, }, end: Position { line: 527, column: 35, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 527, column: 45, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArg", span: Span { start: Position { line: 527, column: 47, }, end: Position { line: 527, column: 61, }, }, }, ), arguments: [ Identifier( Identifier { id: "name", span: Span { start: Position { line: 527, column: 62, }, end: Position { line: 527, column: 66, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: " ]; then\n # public-inbox-init creates an inbox and adds it to a config file.\n # It tries to atomically write the config file by creating\n # another file in the same directory, and renaming it.\n # This has the sad consequence that we can't use\n # /dev/null, or it would try to create a file in /dev.\n conf_dir=\"$(mktemp -d)\"\n\n PI_CONFIG=$conf_dir/conf \\\n ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 536, column: 17, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 536, column: 19, }, end: Position { line: 536, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 536, column: 23, }, end: Position { line: 536, column: 30, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-init -V2 \\\n ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 537, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArgs", span: Span { start: Position { line: 537, column: 21, }, end: Position { line: 537, column: 36, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: List( List { elements: [ Identifier( Identifier { id: "name", span: Span { start: Position { line: 537, column: 40, }, end: Position { line: 537, column: 44, }, }, }, ), String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 537, column: 48, }, end: Position { line: 537, column: 56, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/", span: Span { start: Position { line: 537, column: 46, }, end: Position { line: 537, column: 66, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "name", span: Span { start: Position { line: 537, column: 68, }, end: Position { line: 537, column: 72, }, }, }, ), }, ), ], span: Span { start: Position { line: 537, column: 45, }, end: Position { line: 537, column: 74, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 537, column: 75, }, end: Position { line: 537, column: 80, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "url", span: Span { start: Position { line: 537, column: 81, }, end: Position { line: 537, column: 84, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 537, column: 38, }, end: Position { line: 537, column: 86, }, }, }, ), operator: Concatenation, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 537, column: 90, }, end: Position { line: 537, column: 95, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "address", span: Span { start: Position { line: 537, column: 96, }, end: Position { line: 537, column: 103, }, }, }, ), ], default: None, }, ), }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\n rm -rf $conf_dir\nfi\n\nln -sf ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 542, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "inbox", span: Span { start: Position { line: 542, column: 24, }, end: Position { line: 542, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 542, column: 30, }, end: Position { line: 542, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " \\\n ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 543, column: 17, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 543, column: 19, }, end: Position { line: 543, column: 27, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 543, column: 37, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArg", span: Span { start: Position { line: 543, column: 39, }, end: Position { line: 543, column: 53, }, }, }, ), arguments: [ Identifier( Identifier { id: "name", span: Span { start: Position { line: 543, column: 54, }, end: Position { line: 543, column: 58, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "/description\n\nexport GIT_DIR=", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 545, column: 30, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 545, column: 32, }, end: Position { line: 545, column: 40, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 545, column: 50, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "escapeShellArg", span: Span { start: Position { line: 545, column: 52, }, end: Position { line: 545, column: 66, }, }, }, ), arguments: [ Identifier( Identifier { id: "name", span: Span { start: Position { line: 545, column: 67, }, end: Position { line: 545, column: 71, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "/all.git\nif test -d \"$GIT_DIR\"; then\n # Config is inherited by each epoch repository,\n # so just needs to be set for all.git.\n ", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 549, column: 17, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 549, column: 19, }, end: Position { line: 549, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "git", span: Span { start: Position { line: 549, column: 24, }, end: Position { line: 549, column: 27, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/git config core.sharedRepository 0640\nfi\n", span: Span { start: Position { line: 527, column: 1, }, end: Position { line: 551, column: 13, }, }, }, ), ], span: Span { start: Position { line: 526, column: 62, }, end: Position { line: 551, column: 15, }, }, }, ), span: Span { start: Position { line: 526, column: 55, }, end: Position { line: 551, column: 15, }, }, }, ), span: Span { start: Position { line: 526, column: 49, }, end: Position { line: 551, column: 15, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 551, column: 17, }, end: Position { line: 551, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "inboxes", span: Span { start: Position { line: 551, column: 21, }, end: Position { line: 551, column: 28, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), operator: Addition, right: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "shopt -s nullglob\nfor inbox in ", span: Span { start: Position { line: 553, column: 1, }, end: Position { line: 554, column: 26, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 554, column: 28, }, end: Position { line: 554, column: 36, }, }, }, ), }, ), Raw( PartRaw { content: "/inboxes/*/; do\n # This should be idempotent, but only do it for new\n # inboxes anyway because it's only needed once, and could\n # be slow for large pre-existing inboxes.\n ls -1 \"$inbox\" | grep -q '^xap' ||\n ", span: Span { start: Position { line: 553, column: 1, }, end: Position { line: 559, column: 15, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 559, column: 17, }, end: Position { line: 559, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 559, column: 21, }, end: Position { line: 559, column: 28, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/public-inbox-index \"$inbox\"\ndone\n", span: Span { start: Position { line: 553, column: 1, }, end: Position { line: 561, column: 11, }, }, }, ), ], span: Span { start: Position { line: 552, column: 17, }, end: Position { line: 561, column: 13, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 562, column: 11, }, end: Position { line: 562, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Type", span: Span { start: Position { line: 563, column: 13, }, end: Position { line: 563, column: 17, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "oneshot", span: Span { start: Position { line: 563, column: 21, }, end: Position { line: 563, column: 28, }, }, }, ), ], span: Span { start: Position { line: 563, column: 20, }, end: Position { line: 563, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RemainAfterExit", span: Span { start: Position { line: 564, column: 13, }, end: Position { line: 564, column: 28, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 564, column: 31, }, end: Position { line: 564, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "StateDirectory", span: Span { start: Position { line: 565, column: 13, }, end: Position { line: 565, column: 27, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "public-inbox/.public-inbox", span: Span { start: Position { line: 566, column: 16, }, end: Position { line: 566, column: 42, }, }, }, ), ], span: Span { start: Position { line: 566, column: 15, }, end: Position { line: 566, column: 43, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "public-inbox/.public-inbox/emergency", span: Span { start: Position { line: 567, column: 16, }, end: Position { line: 567, column: 52, }, }, }, ), ], span: Span { start: Position { line: 567, column: 15, }, end: Position { line: 567, column: 53, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "public-inbox/inboxes", span: Span { start: Position { line: 568, column: 16, }, end: Position { line: 568, column: 36, }, }, }, ), ], span: Span { start: Position { line: 568, column: 15, }, end: Position { line: 568, column: 37, }, }, }, ), ], span: Span { start: Position { line: 565, column: 30, }, end: Position { line: 569, column: 14, }, }, }, ), }, ), ], span: Span { start: Position { line: 562, column: 27, }, end: Position { line: 570, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 514, column: 46, }, end: Position { line: 571, column: 10, }, }, }, ), ], span: Span { start: Position { line: 514, column: 22, }, end: Position { line: 571, column: 11, }, }, }, ), ], }, ), span: Span { start: Position { line: 511, column: 30, }, end: Position { line: 571, column: 11, }, }, }, ), }, ), ], span: Span { start: Position { line: 511, column: 8, }, end: Position { line: 572, column: 8, }, }, }, ), ], span: Span { start: Position { line: 429, column: 32, }, end: Position { line: 573, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 574, column: 5, }, end: Position { line: 574, column: 16, }, }, }, ), Raw( PartRaw { content: "systemPackages", span: Span { start: Position { line: 574, column: 17, }, end: Position { line: 574, column: 31, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 574, column: 39, }, end: Position { line: 574, column: 43, }, }, }, ), target: List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 574, column: 47, }, end: Position { line: 574, column: 50, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 574, column: 51, }, end: Position { line: 574, column: 58, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 574, column: 45, }, end: Position { line: 574, column: 60, }, }, }, ), span: Span { start: Position { line: 574, column: 34, }, end: Position { line: 574, column: 60, }, }, }, ), }, ), ], span: Span { start: Position { line: 344, column: 28, }, end: Position { line: 575, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "meta", span: Span { start: Position { line: 576, column: 3, }, end: Position { line: 576, column: 7, }, }, }, ), Raw( PartRaw { content: "maintainers", span: Span { start: Position { line: 576, column: 8, }, end: Position { line: 576, column: 19, }, }, }, ), ], to: With( With { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 576, column: 27, }, end: Position { line: 576, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "maintainers", span: Span { start: Position { line: 576, column: 31, }, end: Position { line: 576, column: 42, }, }, }, ), ], default: None, }, ), target: List( List { elements: [ Identifier( Identifier { id: "julm", span: Span { start: Position { line: 576, column: 46, }, end: Position { line: 576, column: 50, }, }, }, ), Identifier( Identifier { id: "qyliss", span: Span { start: Position { line: 576, column: 51, }, end: Position { line: 576, column: 57, }, }, }, ), ], span: Span { start: Position { line: 576, column: 44, }, end: Position { line: 576, column: 59, }, }, }, ), span: Span { start: Position { line: 576, column: 22, }, end: Position { line: 576, column: 59, }, }, }, ), }, ), ], span: Span { start: Position { line: 144, column: 1, }, end: Position { line: 577, column: 2, }, }, }, ), span: Span { start: Position { line: 5, column: 1, }, end: Position { line: 577, column: 2, }, }, }, ), span: Span { start: Position { line: 3, column: 1, }, end: Position { line: 577, column: 2, }, }, }, ), span: Span { start: Position { line: 1, column: 1, }, end: Position { line: 577, column: 2, }, }, }, )