Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "config", default: None, }, FunctionHeadDestructuredArgument { identifier: "lib", default: None, }, FunctionHeadDestructuredArgument { identifier: "pkgs", 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: "foundationdb", span: Span { start: Position { line: 6, column: 25, }, end: Position { line: 6, column: 37, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "pkg", span: Span { start: Position { line: 7, column: 3, }, end: Position { line: 7, column: 6, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 7, column: 9, }, end: Position { line: 7, column: 12, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 7, column: 13, }, end: Position { line: 7, column: 20, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "initialIpAddr", span: Span { start: Position { line: 10, column: 3, }, end: Position { line: 10, column: 16, }, }, }, ), ], to: IfThenElse( IfThenElse { predicate: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 10, column: 23, }, end: Position { line: 10, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "publicAddress", span: Span { start: Position { line: 10, column: 27, }, end: Position { line: 10, column: 40, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "auto", span: Span { start: Position { line: 10, column: 45, }, end: Position { line: 10, column: 49, }, }, }, ), ], span: Span { start: Position { line: 10, column: 44, }, end: Position { line: 10, column: 50, }, }, }, ), }, ), then: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 10, column: 57, }, end: Position { line: 10, column: 60, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "publicAddress", span: Span { start: Position { line: 10, column: 61, }, end: Position { line: 10, column: 74, }, }, }, ), ], default: None, }, ), else_: String( String_ { parts: [ Raw( PartRaw { content: "127.0.0.1", span: Span { start: Position { line: 10, column: 81, }, end: Position { line: 10, column: 90, }, }, }, ), ], span: Span { start: Position { line: 10, column: 80, }, end: Position { line: 10, column: 91, }, }, }, ), span: Span { start: Position { line: 10, column: 19, }, end: Position { line: 10, column: 91, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "fdbServers", span: Span { start: Position { line: 12, column: 3, }, end: Position { line: 12, column: 13, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 13, column: 5, }, end: Position { line: 13, column: 21, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 13, column: 23, }, end: Position { line: 13, column: 25, }, }, }, ), ], span: Span { start: Position { line: 13, column: 22, }, end: Position { line: 13, column: 26, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 13, column: 28, }, end: Position { line: 13, column: 31, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "x", }, ), body: String( String_ { parts: [ Raw( PartRaw { content: "[fdbserver.", span: Span { start: Position { line: 13, column: 37, }, end: Position { line: 13, column: 83, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 13, column: 50, }, end: Position { line: 13, column: 58, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "x", span: Span { start: Position { line: 13, column: 60, }, end: Position { line: 13, column: 61, }, }, }, ), operator: Addition, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 13, column: 62, }, end: Position { line: 13, column: 65, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listenPortStart", span: Span { start: Position { line: 13, column: 66, }, end: Position { line: 13, column: 81, }, }, }, ), ], default: None, }, ), }, ), ], }, ), }, ), Raw( PartRaw { content: "]", span: Span { start: Position { line: 13, column: 37, }, end: Position { line: 13, column: 84, }, }, }, ), ], span: Span { start: Position { line: 13, column: 36, }, end: Position { line: 13, column: 85, }, }, }, ), span: Span { start: Position { line: 13, column: 33, }, end: Position { line: 13, column: 85, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "range", span: Span { start: Position { line: 13, column: 88, }, end: Position { line: 13, column: 93, }, }, }, ), arguments: [ Integer( Integer { value: "0", span: Span { start: Position { line: 13, column: 94, }, end: Position { line: 13, column: 95, }, }, }, ), BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "n", span: Span { start: Position { line: 13, column: 97, }, end: Position { line: 13, column: 98, }, }, }, ), operator: Subtraction, right: Integer( Integer { value: "1", span: Span { start: Position { line: 13, column: 101, }, end: Position { line: 13, column: 102, }, }, }, ), }, ), ], }, ), ], }, ), ], }, ), span: Span { start: Position { line: 12, column: 16, }, end: Position { line: 13, column: 105, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "backupAgents", span: Span { start: Position { line: 15, column: 3, }, end: Position { line: 15, column: 15, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "n", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 16, column: 5, }, end: Position { line: 16, column: 21, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 16, column: 23, }, end: Position { line: 16, column: 25, }, }, }, ), ], span: Span { start: Position { line: 16, column: 22, }, end: Position { line: 16, column: 26, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 16, column: 28, }, end: Position { line: 16, column: 31, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "x", }, ), body: String( String_ { parts: [ Raw( PartRaw { content: "[backup_agent.", span: Span { start: Position { line: 16, column: 37, }, end: Position { line: 16, column: 64, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 16, column: 53, }, end: Position { line: 16, column: 61, }, }, }, ), arguments: [ Identifier( Identifier { id: "x", span: Span { start: Position { line: 16, column: 62, }, end: Position { line: 16, column: 63, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "]", span: Span { start: Position { line: 16, column: 37, }, end: Position { line: 16, column: 65, }, }, }, ), ], span: Span { start: Position { line: 16, column: 36, }, end: Position { line: 16, column: 66, }, }, }, ), span: Span { start: Position { line: 16, column: 33, }, end: Position { line: 16, column: 66, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "range", span: Span { start: Position { line: 16, column: 69, }, end: Position { line: 16, column: 74, }, }, }, ), arguments: [ Integer( Integer { value: "1", span: Span { start: Position { line: 16, column: 75, }, end: Position { line: 16, column: 76, }, }, }, ), Identifier( Identifier { id: "n", span: Span { start: Position { line: 16, column: 77, }, end: Position { line: 16, column: 78, }, }, }, ), ], }, ), ], }, ), ], }, ), span: Span { start: Position { line: 15, column: 18, }, end: Position { line: 16, column: 80, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "configFile", span: Span { start: Position { line: 18, column: 3, }, end: Position { line: 18, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 18, column: 16, }, end: Position { line: 18, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "writeText", span: Span { start: Position { line: 18, column: 21, }, end: Position { line: 18, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "foundationdb.conf", span: Span { start: Position { line: 18, column: 32, }, end: Position { line: 18, column: 49, }, }, }, ), ], span: Span { start: Position { line: 18, column: 31, }, end: Position { line: 18, column: 50, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "[general]\ncluster_file = /etc/foundationdb/fdb.cluster\n\n[fdbmonitor]\nrestart_delay = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 23, column: 21, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 23, column: 23, }, end: Position { line: 23, column: 31, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 23, column: 32, }, end: Position { line: 23, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "restartDelay", span: Span { start: Position { line: 23, column: 36, }, end: Position { line: 23, column: 48, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\nuser = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 24, column: 21, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 24, column: 23, }, end: Position { line: 24, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 24, column: 27, }, end: Position { line: 24, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\ngroup = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 25, column: 21, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 25, column: 23, }, end: Position { line: 25, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 25, column: 27, }, end: Position { line: 25, column: 32, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n\n[fdbserver]\ncommand = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 28, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 28, column: 24, }, end: Position { line: 28, column: 27, }, }, }, ), }, ), Raw( PartRaw { content: "/bin/fdbserver\npublic_address = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 29, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 29, column: 24, }, end: Position { line: 29, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "publicAddress", span: Span { start: Position { line: 29, column: 28, }, end: Position { line: 29, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: ":$ID\nlisten_address = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 30, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 30, column: 24, }, end: Position { line: 30, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listenAddress", span: Span { start: Position { line: 30, column: 28, }, end: Position { line: 30, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\ndatadir = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 31, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 31, column: 24, }, end: Position { line: 31, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 31, column: 28, }, end: Position { line: 31, column: 35, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/$ID\nlogdir = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 32, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 32, column: 24, }, end: Position { line: 32, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "logDir", span: Span { start: Position { line: 32, column: 28, }, end: Position { line: 32, column: 34, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\nlogsize = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 33, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 33, column: 24, }, end: Position { line: 33, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "logSize", span: Span { start: Position { line: 33, column: 28, }, end: Position { line: 33, column: 35, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\nmaxlogssize = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 34, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 34, column: 24, }, end: Position { line: 34, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "maxLogSize", span: Span { start: Position { line: 34, column: 28, }, end: Position { line: 34, column: 38, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 35, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 35, column: 7, }, end: Position { line: 35, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 35, column: 23, }, end: Position { line: 35, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "class", span: Span { start: Position { line: 35, column: 27, }, end: Position { line: 35, column: 32, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 35, column: 36, }, end: Position { line: 35, column: 40, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "class = ", span: Span { start: Position { line: 35, column: 43, }, end: Position { line: 35, column: 63, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 35, column: 53, }, end: Position { line: 35, column: 56, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "class", span: Span { start: Position { line: 35, column: 57, }, end: Position { line: 35, column: 62, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 35, column: 42, }, end: Position { line: 35, column: 64, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\nmemory = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 36, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 36, column: 24, }, end: Position { line: 36, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "memory", span: Span { start: Position { line: 36, column: 28, }, end: Position { line: 36, column: 34, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\nstorage_memory = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 37, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 37, column: 24, }, end: Position { line: 37, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "storageMemory", span: Span { start: Position { line: 37, column: 28, }, end: Position { line: 37, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 39, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 39, column: 7, }, end: Position { line: 39, column: 21, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 39, column: 23, }, end: Position { line: 39, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "versionAtLeast", span: Span { start: Position { line: 39, column: 27, }, end: Position { line: 39, column: 41, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 39, column: 42, }, end: Position { line: 39, column: 45, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 39, column: 46, }, end: Position { line: 39, column: 53, }, }, }, ), Raw( PartRaw { content: "version", span: Span { start: Position { line: 39, column: 54, }, end: Position { line: 39, column: 61, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "6.1", span: Span { start: Position { line: 39, column: 63, }, end: Position { line: 39, column: 66, }, }, }, ), ], span: Span { start: Position { line: 39, column: 62, }, end: Position { line: 39, column: 67, }, }, }, ), ], }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "trace_format = ", span: Span { start: Position { line: 40, column: 1, }, end: Position { line: 40, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 40, column: 24, }, end: Position { line: 40, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "traceFormat", span: Span { start: Position { line: 40, column: 28, }, end: Position { line: 40, column: 39, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 40, column: 1, }, end: Position { line: 41, column: 5, }, }, }, ), ], span: Span { start: Position { line: 39, column: 69, }, end: Position { line: 41, column: 7, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 43, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 43, column: 7, }, end: Position { line: 43, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 43, column: 23, }, end: Position { line: 43, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "tls", span: Span { start: Position { line: 43, column: 27, }, end: Position { line: 43, column: 30, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 43, column: 34, }, end: Position { line: 43, column: 38, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "tls_plugin = ", span: Span { start: Position { line: 44, column: 1, }, end: Position { line: 44, column: 30, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 44, column: 32, }, end: Position { line: 44, column: 35, }, }, }, ), }, ), Raw( PartRaw { content: "/libexec/plugins/FDBLibTLS.so\ntls_certificate_file = ", span: Span { start: Position { line: 44, column: 1, }, end: Position { line: 45, column: 30, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 45, column: 32, }, end: Position { line: 45, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "tls", span: Span { start: Position { line: 45, column: 36, }, end: Position { line: 45, column: 39, }, }, }, ), Raw( PartRaw { content: "certificate", span: Span { start: Position { line: 45, column: 40, }, end: Position { line: 45, column: 51, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\ntls_key_file = ", span: Span { start: Position { line: 44, column: 1, }, end: Position { line: 46, column: 30, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 46, column: 32, }, end: Position { line: 46, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "tls", span: Span { start: Position { line: 46, column: 36, }, end: Position { line: 46, column: 39, }, }, }, ), Raw( PartRaw { content: "key", span: Span { start: Position { line: 46, column: 40, }, end: Position { line: 46, column: 43, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\ntls_verify_peers = ", span: Span { start: Position { line: 44, column: 1, }, end: Position { line: 47, column: 30, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 47, column: 32, }, end: Position { line: 47, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "tls", span: Span { start: Position { line: 47, column: 36, }, end: Position { line: 47, column: 39, }, }, }, ), Raw( PartRaw { content: "allowedPeers", span: Span { start: Position { line: 47, column: 40, }, end: Position { line: 47, column: 52, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 44, column: 1, }, end: Position { line: 48, column: 5, }, }, }, ), ], span: Span { start: Position { line: 43, column: 40, }, end: Position { line: 48, column: 7, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 50, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 50, column: 7, }, end: Position { line: 50, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 50, column: 23, }, end: Position { line: 50, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 50, column: 27, }, end: Position { line: 50, column: 35, }, }, }, ), Raw( PartRaw { content: "machineId", span: Span { start: Position { line: 50, column: 36, }, end: Position { line: 50, column: 45, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 50, column: 52, }, end: Position { line: 50, column: 56, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "locality_machineid=", span: Span { start: Position { line: 50, column: 59, }, end: Position { line: 50, column: 103, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 50, column: 80, }, end: Position { line: 50, column: 83, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 50, column: 84, }, end: Position { line: 50, column: 92, }, }, }, ), Raw( PartRaw { content: "machineId", span: Span { start: Position { line: 50, column: 93, }, end: Position { line: 50, column: 102, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 50, column: 58, }, end: Position { line: 50, column: 104, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 51, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 51, column: 7, }, end: Position { line: 51, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 51, column: 23, }, end: Position { line: 51, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 51, column: 27, }, end: Position { line: 51, column: 35, }, }, }, ), Raw( PartRaw { content: "zoneId", span: Span { start: Position { line: 51, column: 36, }, end: Position { line: 51, column: 42, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 51, column: 52, }, end: Position { line: 51, column: 56, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "locality_zoneid=", span: Span { start: Position { line: 51, column: 59, }, end: Position { line: 51, column: 97, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 51, column: 77, }, end: Position { line: 51, column: 80, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 51, column: 81, }, end: Position { line: 51, column: 89, }, }, }, ), Raw( PartRaw { content: "zoneId", span: Span { start: Position { line: 51, column: 90, }, end: Position { line: 51, column: 96, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 51, column: 58, }, end: Position { line: 51, column: 98, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 52, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 52, column: 7, }, end: Position { line: 52, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 52, column: 23, }, end: Position { line: 52, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 52, column: 27, }, end: Position { line: 52, column: 35, }, }, }, ), Raw( PartRaw { content: "datacenterId", span: Span { start: Position { line: 52, column: 36, }, end: Position { line: 52, column: 48, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 52, column: 52, }, end: Position { line: 52, column: 56, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "locality_dcid=", span: Span { start: Position { line: 52, column: 59, }, end: Position { line: 52, column: 101, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 52, column: 75, }, end: Position { line: 52, column: 78, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 52, column: 79, }, end: Position { line: 52, column: 87, }, }, }, ), Raw( PartRaw { content: "datacenterId", span: Span { start: Position { line: 52, column: 88, }, end: Position { line: 52, column: 100, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 52, column: 58, }, end: Position { line: 52, column: 102, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 53, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 53, column: 7, }, end: Position { line: 53, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 53, column: 23, }, end: Position { line: 53, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 53, column: 27, }, end: Position { line: 53, column: 35, }, }, }, ), Raw( PartRaw { content: "dataHall", span: Span { start: Position { line: 53, column: 36, }, end: Position { line: 53, column: 44, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 53, column: 52, }, end: Position { line: 53, column: 56, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "locality_data_hall=", span: Span { start: Position { line: 53, column: 59, }, end: Position { line: 53, column: 102, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 53, column: 80, }, end: Position { line: 53, column: 83, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 53, column: 84, }, end: Position { line: 53, column: 92, }, }, }, ), Raw( PartRaw { content: "dataHall", span: Span { start: Position { line: 53, column: 93, }, end: Position { line: 53, column: 101, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 53, column: 58, }, end: Position { line: 53, column: 103, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 55, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "fdbServers", span: Span { start: Position { line: 55, column: 7, }, end: Position { line: 55, column: 17, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 55, column: 18, }, end: Position { line: 55, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "serverProcesses", span: Span { start: Position { line: 55, column: 22, }, end: Position { line: 55, column: 37, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\n[backup_agent]\ncommand = ", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 58, column: 15, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 58, column: 17, }, end: Position { line: 58, column: 20, }, }, }, ), }, ), Raw( PartRaw { content: "/libexec/backup_agent\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 59, column: 5, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "backupAgents", span: Span { start: Position { line: 59, column: 7, }, end: Position { line: 59, column: 19, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 59, column: 20, }, end: Position { line: 59, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "backupProcesses", span: Span { start: Position { line: 59, column: 24, }, end: Position { line: 59, column: 39, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 19, column: 1, }, end: Position { line: 60, column: 3, }, }, }, ), ], span: Span { start: Position { line: 18, column: 51, }, end: Position { line: 60, column: 5, }, }, }, ), ], }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 63, column: 3, }, end: Position { line: 63, column: 10, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 63, column: 11, }, end: Position { line: 63, column: 19, }, }, }, ), Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 63, column: 20, }, end: Position { line: 63, column: 32, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 65, column: 5, }, end: Position { line: 65, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 65, column: 14, }, end: Position { line: 65, column: 28, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 65, column: 30, }, end: Position { line: 65, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 65, column: 34, }, end: Position { line: 65, column: 39, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "FoundationDB Server", span: Span { start: Position { line: 65, column: 41, }, end: Position { line: 65, column: 60, }, }, }, ), ], span: Span { start: Position { line: 65, column: 40, }, end: Position { line: 65, column: 61, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 67, column: 5, }, end: Position { line: 67, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 67, column: 15, }, end: Position { line: 67, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 68, column: 7, }, end: Position { line: 68, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 68, column: 21, }, end: Position { line: 68, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 68, column: 27, }, end: Position { line: 68, column: 34, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 69, column: 7, }, end: Position { line: 69, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 69, column: 21, }, end: Position { line: 69, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 69, column: 25, }, end: Position { line: 69, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "The FoundationDB package to use for this server. This must be specified by the user\nin order to ensure migrations and upgrades are controlled appropriately.\n", span: Span { start: Position { line: 70, column: 1, }, end: Position { line: 72, column: 7, }, }, }, ), ], span: Span { start: Position { line: 69, column: 31, }, end: Position { line: 72, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 67, column: 24, }, end: Position { line: 73, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "publicAddress", span: Span { start: Position { line: 75, column: 5, }, end: Position { line: 75, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 75, column: 21, }, end: Position { line: 75, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 76, column: 7, }, end: Position { line: 76, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 76, column: 21, }, end: Position { line: 76, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 76, column: 27, }, end: Position { line: 76, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 77, column: 7, }, end: Position { line: 77, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "auto", span: Span { start: Position { line: 77, column: 22, }, end: Position { line: 77, column: 26, }, }, }, ), ], span: Span { start: Position { line: 77, column: 21, }, end: Position { line: 77, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 78, column: 7, }, end: Position { line: 78, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 78, column: 21, }, end: Position { line: 78, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 78, column: 25, }, end: Position { line: 78, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Publicly visible IP address of the process. Port is determined by process ID", span: Span { start: Position { line: 78, column: 32, }, end: Position { line: 78, column: 108, }, }, }, ), ], span: Span { start: Position { line: 78, column: 31, }, end: Position { line: 78, column: 109, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 75, column: 30, }, end: Position { line: 79, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "listenAddress", span: Span { start: Position { line: 81, column: 5, }, end: Position { line: 81, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 81, column: 21, }, end: Position { line: 81, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 82, column: 7, }, end: Position { line: 82, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 82, column: 21, }, end: Position { line: 82, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 82, column: 27, }, end: Position { line: 82, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 83, column: 7, }, end: Position { line: 83, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "public", span: Span { start: Position { line: 83, column: 22, }, end: Position { line: 83, column: 28, }, }, }, ), ], span: Span { start: Position { line: 83, column: 21, }, end: Position { line: 83, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 84, column: 7, }, end: Position { line: 84, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 84, column: 21, }, end: Position { line: 84, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 84, column: 25, }, end: Position { line: 84, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Publicly visible IP address of the process. Port is determined by process ID", span: Span { start: Position { line: 84, column: 32, }, end: Position { line: 84, column: 108, }, }, }, ), ], span: Span { start: Position { line: 84, column: 31, }, end: Position { line: 84, column: 109, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 81, column: 30, }, end: Position { line: 85, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "listenPortStart", span: Span { start: Position { line: 87, column: 5, }, end: Position { line: 87, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 87, column: 23, }, end: Position { line: 87, column: 31, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 88, column: 7, }, end: Position { line: 88, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 88, column: 23, }, end: Position { line: 88, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "int", span: Span { start: Position { line: 88, column: 29, }, end: Position { line: 88, column: 32, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 89, column: 7, }, end: Position { line: 89, column: 14, }, }, }, ), ], to: Integer( Integer { value: "4500", span: Span { start: Position { line: 89, column: 23, }, end: Position { line: 89, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 90, column: 7, }, end: Position { line: 90, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 90, column: 23, }, end: Position { line: 90, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 90, column: 27, }, end: Position { line: 90, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Starting port number for database listening sockets. Every FDB process binds to a\nsubsequent port, to this number reflects the start of the overall range. e.g. having\n8 server processes will use all ports between 4500 and 4507.\n", span: Span { start: Position { line: 91, column: 1, }, end: Position { line: 94, column: 7, }, }, }, ), ], span: Span { start: Position { line: 90, column: 33, }, end: Position { line: 94, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 87, column: 32, }, end: Position { line: 95, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "openFirewall", span: Span { start: Position { line: 97, column: 5, }, end: Position { line: 97, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 97, column: 20, }, end: Position { line: 97, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 98, column: 7, }, end: Position { line: 98, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 98, column: 21, }, end: Position { line: 98, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "bool", span: Span { start: Position { line: 98, column: 27, }, end: Position { line: 98, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 99, column: 7, }, end: Position { line: 99, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "false", span: Span { start: Position { line: 99, column: 21, }, end: Position { line: 99, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 100, column: 7, }, end: Position { line: 100, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 100, column: 21, }, end: Position { line: 100, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 100, column: 25, }, end: Position { line: 100, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Open the firewall ports corresponding to FoundationDB processes and coordinators\nusing {option}`config.networking.firewall.*`.\n", span: Span { start: Position { line: 101, column: 1, }, end: Position { line: 103, column: 7, }, }, }, ), ], span: Span { start: Position { line: 100, column: 31, }, end: Position { line: 103, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 97, column: 29, }, end: Position { line: 104, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 106, column: 5, }, end: Position { line: 106, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 106, column: 15, }, end: Position { line: 106, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 107, column: 7, }, end: Position { line: 107, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 107, column: 21, }, end: Position { line: 107, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 107, column: 27, }, end: Position { line: 107, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 108, column: 7, }, end: Position { line: 108, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/var/lib/foundationdb", span: Span { start: Position { line: 108, column: 22, }, end: Position { line: 108, column: 43, }, }, }, ), ], span: Span { start: Position { line: 108, column: 21, }, end: Position { line: 108, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 109, column: 7, }, end: Position { line: 109, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 109, column: 21, }, end: Position { line: 109, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 109, column: 25, }, end: Position { line: 109, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Data directory. All cluster data will be put under here.", span: Span { start: Position { line: 109, column: 32, }, end: Position { line: 109, column: 88, }, }, }, ), ], span: Span { start: Position { line: 109, column: 31, }, end: Position { line: 109, column: 89, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 106, column: 24, }, end: Position { line: 110, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "logDir", span: Span { start: Position { line: 112, column: 5, }, end: Position { line: 112, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 112, column: 14, }, end: Position { line: 112, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 113, column: 7, }, end: Position { line: 113, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 113, column: 21, }, end: Position { line: 113, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 113, column: 27, }, end: Position { line: 113, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 114, column: 7, }, end: Position { line: 114, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/var/log/foundationdb", span: Span { start: Position { line: 114, column: 22, }, end: Position { line: 114, column: 43, }, }, }, ), ], span: Span { start: Position { line: 114, column: 21, }, end: Position { line: 114, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 115, column: 7, }, end: Position { line: 115, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 115, column: 21, }, end: Position { line: 115, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 115, column: 25, }, end: Position { line: 115, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Log directory.", span: Span { start: Position { line: 115, column: 32, }, end: Position { line: 115, column: 46, }, }, }, ), ], span: Span { start: Position { line: 115, column: 31, }, end: Position { line: 115, column: 47, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 112, column: 23, }, end: Position { line: 116, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 118, column: 5, }, end: Position { line: 118, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 118, column: 12, }, end: Position { line: 118, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 119, column: 7, }, end: Position { line: 119, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 119, column: 21, }, end: Position { line: 119, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 119, column: 27, }, end: Position { line: 119, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 120, column: 7, }, end: Position { line: 120, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 120, column: 22, }, end: Position { line: 120, column: 34, }, }, }, ), ], span: Span { start: Position { line: 120, column: 21, }, end: Position { line: 120, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 121, column: 7, }, end: Position { line: 121, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 121, column: 21, }, end: Position { line: 121, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 121, column: 25, }, end: Position { line: 121, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "User account under which FoundationDB runs.", span: Span { start: Position { line: 121, column: 32, }, end: Position { line: 121, column: 75, }, }, }, ), ], span: Span { start: Position { line: 121, column: 31, }, end: Position { line: 121, column: 76, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 118, column: 21, }, end: Position { line: 122, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 124, column: 5, }, end: Position { line: 124, column: 10, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 124, column: 13, }, end: Position { line: 124, column: 21, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 125, column: 7, }, end: Position { line: 125, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 125, column: 21, }, end: Position { line: 125, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 125, column: 27, }, end: Position { line: 125, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 126, column: 7, }, end: Position { line: 126, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 126, column: 22, }, end: Position { line: 126, column: 34, }, }, }, ), ], span: Span { start: Position { line: 126, column: 21, }, end: Position { line: 126, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 127, column: 7, }, end: Position { line: 127, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 127, column: 21, }, end: Position { line: 127, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 127, column: 25, }, end: Position { line: 127, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Group account under which FoundationDB runs.", span: Span { start: Position { line: 127, column: 32, }, end: Position { line: 127, column: 76, }, }, }, ), ], span: Span { start: Position { line: 127, column: 31, }, end: Position { line: 127, column: 77, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 124, column: 22, }, end: Position { line: 128, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "class", span: Span { start: Position { line: 130, column: 5, }, end: Position { line: 130, column: 10, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 130, column: 13, }, end: Position { line: 130, column: 21, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 131, column: 7, }, end: Position { line: 131, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 131, column: 21, }, end: Position { line: 131, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 131, column: 27, }, end: Position { line: 131, column: 33, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 131, column: 35, }, end: Position { line: 131, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enum", span: Span { start: Position { line: 131, column: 41, }, end: Position { line: 131, column: 45, }, }, }, ), ], default: None, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "storage", span: Span { start: Position { line: 131, column: 49, }, end: Position { line: 131, column: 56, }, }, }, ), ], span: Span { start: Position { line: 131, column: 48, }, end: Position { line: 131, column: 57, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "transaction", span: Span { start: Position { line: 131, column: 59, }, end: Position { line: 131, column: 70, }, }, }, ), ], span: Span { start: Position { line: 131, column: 58, }, end: Position { line: 131, column: 71, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "stateless", span: Span { start: Position { line: 131, column: 73, }, end: Position { line: 131, column: 82, }, }, }, ), ], span: Span { start: Position { line: 131, column: 72, }, end: Position { line: 131, column: 83, }, }, }, ), ], span: Span { start: Position { line: 131, column: 46, }, end: Position { line: 131, column: 85, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 132, column: 7, }, end: Position { line: 132, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 132, column: 21, }, end: Position { line: 132, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 133, column: 7, }, end: Position { line: 133, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 133, column: 21, }, end: Position { line: 133, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 133, column: 25, }, end: Position { line: 133, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Process class", span: Span { start: Position { line: 133, column: 32, }, end: Position { line: 133, column: 45, }, }, }, ), ], span: Span { start: Position { line: 133, column: 31, }, end: Position { line: 133, column: 46, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 130, column: 22, }, end: Position { line: 134, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "restartDelay", span: Span { start: Position { line: 136, column: 5, }, end: Position { line: 136, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 136, column: 20, }, end: Position { line: 136, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 137, column: 7, }, end: Position { line: 137, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 137, column: 14, }, end: Position { line: 137, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "int", span: Span { start: Position { line: 137, column: 20, }, end: Position { line: 137, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 138, column: 7, }, end: Position { line: 138, column: 14, }, }, }, ), ], to: Integer( Integer { value: "10", span: Span { start: Position { line: 138, column: 17, }, end: Position { line: 138, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 139, column: 7, }, end: Position { line: 139, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 139, column: 21, }, end: Position { line: 139, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 139, column: 25, }, end: Position { line: 139, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Number of seconds to wait before restarting servers.", span: Span { start: Position { line: 139, column: 32, }, end: Position { line: 139, column: 84, }, }, }, ), ], span: Span { start: Position { line: 139, column: 31, }, end: Position { line: 139, column: 85, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 136, column: 29, }, end: Position { line: 140, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "logSize", span: Span { start: Position { line: 142, column: 5, }, end: Position { line: 142, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 142, column: 15, }, end: Position { line: 142, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 143, column: 7, }, end: Position { line: 143, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 143, column: 21, }, end: Position { line: 143, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 143, column: 27, }, end: Position { line: 143, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 144, column: 7, }, end: Position { line: 144, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "10MiB", span: Span { start: Position { line: 144, column: 22, }, end: Position { line: 144, column: 27, }, }, }, ), ], span: Span { start: Position { line: 144, column: 21, }, end: Position { line: 144, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 145, column: 7, }, end: Position { line: 145, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 145, column: 21, }, end: Position { line: 145, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 145, column: 25, }, end: Position { line: 145, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Roll over to a new log file after the current log file\nreaches the specified size.\n", span: Span { start: Position { line: 146, column: 1, }, end: Position { line: 148, column: 7, }, }, }, ), ], span: Span { start: Position { line: 145, column: 31, }, end: Position { line: 148, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 142, column: 24, }, end: Position { line: 149, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "maxLogSize", span: Span { start: Position { line: 151, column: 5, }, end: Position { line: 151, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 151, column: 18, }, end: Position { line: 151, column: 26, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 152, column: 7, }, end: Position { line: 152, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 152, column: 21, }, end: Position { line: 152, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 152, column: 27, }, end: Position { line: 152, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 153, column: 7, }, end: Position { line: 153, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "100MiB", span: Span { start: Position { line: 153, column: 22, }, end: Position { line: 153, column: 28, }, }, }, ), ], span: Span { start: Position { line: 153, column: 21, }, end: Position { line: 153, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 154, column: 7, }, end: Position { line: 154, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 154, column: 21, }, end: Position { line: 154, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 154, column: 25, }, end: Position { line: 154, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Delete the oldest log file when the total size of all log\nfiles exceeds the specified size. If set to 0, old log files\nwill not be deleted.\n", span: Span { start: Position { line: 155, column: 1, }, end: Position { line: 158, column: 7, }, }, }, ), ], span: Span { start: Position { line: 154, column: 31, }, end: Position { line: 158, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 151, column: 27, }, end: Position { line: 159, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serverProcesses", span: Span { start: Position { line: 161, column: 5, }, end: Position { line: 161, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 161, column: 23, }, end: Position { line: 161, column: 31, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 162, column: 7, }, end: Position { line: 162, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 162, column: 14, }, end: Position { line: 162, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "int", span: Span { start: Position { line: 162, column: 20, }, end: Position { line: 162, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 163, column: 7, }, end: Position { line: 163, column: 14, }, }, }, ), ], to: Integer( Integer { value: "1", span: Span { start: Position { line: 163, column: 17, }, end: Position { line: 163, column: 18, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 164, column: 7, }, end: Position { line: 164, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 164, column: 21, }, end: Position { line: 164, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 164, column: 25, }, end: Position { line: 164, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Number of fdbserver processes to run.", span: Span { start: Position { line: 164, column: 32, }, end: Position { line: 164, column: 69, }, }, }, ), ], span: Span { start: Position { line: 164, column: 31, }, end: Position { line: 164, column: 70, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 161, column: 32, }, end: Position { line: 165, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "backupProcesses", span: Span { start: Position { line: 167, column: 5, }, end: Position { line: 167, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 167, column: 23, }, end: Position { line: 167, column: 31, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 168, column: 7, }, end: Position { line: 168, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 168, column: 14, }, end: Position { line: 168, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "int", span: Span { start: Position { line: 168, column: 20, }, end: Position { line: 168, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 169, column: 7, }, end: Position { line: 169, column: 14, }, }, }, ), ], to: Integer( Integer { value: "1", span: Span { start: Position { line: 169, column: 17, }, end: Position { line: 169, column: 18, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 170, column: 7, }, end: Position { line: 170, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 170, column: 21, }, end: Position { line: 170, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 170, column: 25, }, end: Position { line: 170, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Number of backup_agent processes to run for snapshots.", span: Span { start: Position { line: 170, column: 32, }, end: Position { line: 170, column: 86, }, }, }, ), ], span: Span { start: Position { line: 170, column: 31, }, end: Position { line: 170, column: 87, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 167, column: 32, }, end: Position { line: 171, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "memory", span: Span { start: Position { line: 173, column: 5, }, end: Position { line: 173, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 173, column: 14, }, end: Position { line: 173, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 174, column: 7, }, end: Position { line: 174, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 174, column: 21, }, end: Position { line: 174, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 174, column: 27, }, end: Position { line: 174, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 175, column: 7, }, end: Position { line: 175, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "8GiB", span: Span { start: Position { line: 175, column: 22, }, end: Position { line: 175, column: 26, }, }, }, ), ], span: Span { start: Position { line: 175, column: 21, }, end: Position { line: 175, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 176, column: 7, }, end: Position { line: 176, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 176, column: 21, }, end: Position { line: 176, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 176, column: 25, }, end: Position { line: 176, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Maximum memory used by the process. The default value is\n`8GiB`. When specified without a unit,\n`MiB` is assumed. This parameter does not\nchange the memory allocation of the program. Rather, it sets\na hard limit beyond which the process will kill itself and\nbe restarted. The default value of `8GiB`\nis double the intended memory usage in the default\nconfiguration (providing an emergency buffer to deal with\nmemory leaks or similar problems). It is not recommended to\ndecrease the value of this parameter below its default\nvalue. It may be increased if you wish to allocate a very\nlarge amount of storage engine memory or cache. In\nparticular, when the `storageMemory`\nparameter is increased, the `memory`\nparameter should be increased by an equal amount.\n", span: Span { start: Position { line: 177, column: 1, }, end: Position { line: 192, column: 7, }, }, }, ), ], span: Span { start: Position { line: 176, column: 31, }, end: Position { line: 192, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 173, column: 23, }, end: Position { line: 193, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "storageMemory", span: Span { start: Position { line: 195, column: 5, }, end: Position { line: 195, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 195, column: 21, }, end: Position { line: 195, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 196, column: 7, }, end: Position { line: 196, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 196, column: 21, }, end: Position { line: 196, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 196, column: 27, }, end: Position { line: 196, column: 30, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 197, column: 7, }, end: Position { line: 197, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "1GiB", span: Span { start: Position { line: 197, column: 22, }, end: Position { line: 197, column: 26, }, }, }, ), ], span: Span { start: Position { line: 197, column: 21, }, end: Position { line: 197, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 198, column: 7, }, end: Position { line: 198, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 198, column: 21, }, end: Position { line: 198, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 198, column: 25, }, end: Position { line: 198, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Maximum memory used for data storage. The default value is\n`1GiB`. When specified without a unit,\n`MB` is assumed. Clusters using the memory\nstorage engine will be restricted to using this amount of\nmemory per process for purposes of data storage. Memory\noverhead associated with storing the data is counted against\nthis total. If you increase the\n`storageMemory`, you should also increase\nthe `memory` parameter by the same amount.\n", span: Span { start: Position { line: 199, column: 1, }, end: Position { line: 208, column: 7, }, }, }, ), ], span: Span { start: Position { line: 198, column: 31, }, end: Position { line: 208, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 195, column: 30, }, end: Position { line: 209, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "tls", span: Span { start: Position { line: 211, column: 5, }, end: Position { line: 211, column: 8, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 211, column: 11, }, end: Position { line: 211, column: 19, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 212, column: 7, }, end: Position { line: 212, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 212, column: 17, }, end: Position { line: 212, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 213, column: 7, }, end: Position { line: 213, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 213, column: 21, }, end: Position { line: 213, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 213, column: 25, }, end: Position { line: 213, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "FoundationDB Transport Security Layer (TLS) settings.\n", span: Span { start: Position { line: 214, column: 1, }, end: Position { line: 215, column: 7, }, }, }, ), ], span: Span { start: Position { line: 213, column: 31, }, end: Position { line: 215, column: 9, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 217, column: 7, }, end: Position { line: 217, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 217, column: 14, }, end: Position { line: 217, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 217, column: 20, }, end: Position { line: 217, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 217, column: 28, }, end: Position { line: 217, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 217, column: 34, }, end: Position { line: 217, column: 43, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 218, column: 9, }, end: Position { line: 218, column: 16, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "certificate", span: Span { start: Position { line: 219, column: 11, }, end: Position { line: 219, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 219, column: 25, }, end: Position { line: 219, column: 33, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 220, column: 13, }, end: Position { line: 220, column: 17, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 220, column: 20, }, end: Position { line: 220, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 220, column: 26, }, end: Position { line: 220, column: 29, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 221, column: 13, }, end: Position { line: 221, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 221, column: 27, }, end: Position { line: 221, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 221, column: 31, }, end: Position { line: 221, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Path to the TLS certificate file. This certificate will\nbe offered to, and may be verified by, clients.\n", span: Span { start: Position { line: 222, column: 1, }, end: Position { line: 224, column: 13, }, }, }, ), ], span: Span { start: Position { line: 221, column: 37, }, end: Position { line: 224, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 219, column: 34, }, end: Position { line: 225, column: 12, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "key", span: Span { start: Position { line: 227, column: 11, }, end: Position { line: 227, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 227, column: 17, }, end: Position { line: 227, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 228, column: 13, }, end: Position { line: 228, column: 17, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 228, column: 20, }, end: Position { line: 228, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 228, column: 26, }, end: Position { line: 228, column: 29, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 229, column: 13, }, end: Position { line: 229, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 229, column: 27, }, end: Position { line: 229, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 229, column: 31, }, end: Position { line: 229, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Private key file for the certificate.", span: Span { start: Position { line: 229, column: 38, }, end: Position { line: 229, column: 75, }, }, }, ), ], span: Span { start: Position { line: 229, column: 37, }, end: Position { line: 229, column: 76, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 227, column: 26, }, end: Position { line: 230, column: 12, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "allowedPeers", span: Span { start: Position { line: 232, column: 11, }, end: Position { line: 232, column: 23, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 232, column: 26, }, end: Position { line: 232, column: 34, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 233, column: 13, }, end: Position { line: 233, column: 17, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 233, column: 20, }, end: Position { line: 233, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 233, column: 26, }, end: Position { line: 233, column: 29, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 234, column: 13, }, end: Position { line: 234, column: 20, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Check.Valid=1,Check.Unexpired=1", span: Span { start: Position { line: 234, column: 24, }, end: Position { line: 234, column: 55, }, }, }, ), ], span: Span { start: Position { line: 234, column: 23, }, end: Position { line: 234, column: 56, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 235, column: 13, }, end: Position { line: 235, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 235, column: 27, }, end: Position { line: 235, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 235, column: 31, }, end: Position { line: 235, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "\"Peer verification string\". This may be used to adjust which TLS\nclient certificates a server will accept, as a form of user\nauthorization; for example, it may only accept TLS clients who\noffer a certificate abiding by some locality or organization name.\n\nFor more information, please see the FoundationDB documentation.\n", span: Span { start: Position { line: 236, column: 1, }, end: Position { line: 242, column: 13, }, }, }, ), ], span: Span { start: Position { line: 235, column: 37, }, end: Position { line: 242, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 232, column: 35, }, end: Position { line: 243, column: 12, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 218, column: 19, }, end: Position { line: 244, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 217, column: 45, }, end: Position { line: 245, column: 8, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 211, column: 20, }, end: Position { line: 246, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "locality", span: Span { start: Position { line: 248, column: 5, }, end: Position { line: 248, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 248, column: 16, }, end: Position { line: 248, column: 24, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 249, column: 7, }, end: Position { line: 249, column: 14, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "machineId", span: Span { start: Position { line: 250, column: 9, }, end: Position { line: 250, column: 18, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 250, column: 24, }, end: Position { line: 250, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "zoneId", span: Span { start: Position { line: 251, column: 9, }, end: Position { line: 251, column: 15, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 251, column: 24, }, end: Position { line: 251, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "datacenterId", span: Span { start: Position { line: 252, column: 9, }, end: Position { line: 252, column: 21, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 252, column: 24, }, end: Position { line: 252, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dataHall", span: Span { start: Position { line: 253, column: 9, }, end: Position { line: 253, column: 17, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 253, column: 24, }, end: Position { line: 253, column: 28, }, }, }, ), }, ), ], span: Span { start: Position { line: 249, column: 17, }, end: Position { line: 254, column: 8, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 256, column: 7, }, end: Position { line: 256, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 256, column: 21, }, end: Position { line: 256, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 256, column: 25, }, end: Position { line: 256, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "FoundationDB locality settings.\n", span: Span { start: Position { line: 257, column: 1, }, end: Position { line: 258, column: 7, }, }, }, ), ], span: Span { start: Position { line: 256, column: 31, }, end: Position { line: 258, column: 9, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 260, column: 7, }, end: Position { line: 260, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 260, column: 14, }, end: Position { line: 260, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 260, column: 20, }, end: Position { line: 260, column: 29, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 261, column: 9, }, end: Position { line: 261, column: 16, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "machineId", span: Span { start: Position { line: 262, column: 11, }, end: Position { line: 262, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 262, column: 23, }, end: Position { line: 262, column: 31, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 263, column: 13, }, end: Position { line: 263, column: 20, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 263, column: 23, }, end: Position { line: 263, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 264, column: 13, }, end: Position { line: 264, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 264, column: 20, }, end: Position { line: 264, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 264, column: 26, }, end: Position { line: 264, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 264, column: 33, }, end: Position { line: 264, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 264, column: 39, }, end: Position { line: 264, column: 42, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 265, column: 13, }, end: Position { line: 265, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 265, column: 27, }, end: Position { line: 265, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 265, column: 31, }, end: Position { line: 265, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Machine identifier key. All processes on a machine should share a\nunique id. By default, processes on a machine determine a unique id to share.\nThis does not generally need to be set.\n", span: Span { start: Position { line: 266, column: 1, }, end: Position { line: 269, column: 13, }, }, }, ), ], span: Span { start: Position { line: 265, column: 37, }, end: Position { line: 269, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 262, column: 32, }, end: Position { line: 270, column: 12, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "zoneId", span: Span { start: Position { line: 272, column: 11, }, end: Position { line: 272, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 272, column: 20, }, end: Position { line: 272, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 273, column: 13, }, end: Position { line: 273, column: 20, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 273, column: 23, }, end: Position { line: 273, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 274, column: 13, }, end: Position { line: 274, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 274, column: 20, }, end: Position { line: 274, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 274, column: 26, }, end: Position { line: 274, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 274, column: 33, }, end: Position { line: 274, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 274, column: 39, }, end: Position { line: 274, column: 42, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 275, column: 13, }, end: Position { line: 275, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 275, column: 27, }, end: Position { line: 275, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 275, column: 31, }, end: Position { line: 275, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Zone identifier key. Processes that share a zone id are\nconsidered non-unique for the purposes of data replication.\nIf unset, defaults to machine id.\n", span: Span { start: Position { line: 276, column: 1, }, end: Position { line: 279, column: 13, }, }, }, ), ], span: Span { start: Position { line: 275, column: 37, }, end: Position { line: 279, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 272, column: 29, }, end: Position { line: 280, column: 12, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "datacenterId", span: Span { start: Position { line: 282, column: 11, }, end: Position { line: 282, column: 23, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 282, column: 26, }, end: Position { line: 282, column: 34, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 283, column: 13, }, end: Position { line: 283, column: 20, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 283, column: 23, }, end: Position { line: 283, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 284, column: 13, }, end: Position { line: 284, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 284, column: 20, }, end: Position { line: 284, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 284, column: 26, }, end: Position { line: 284, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 284, column: 33, }, end: Position { line: 284, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 284, column: 39, }, end: Position { line: 284, column: 42, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 285, column: 13, }, end: Position { line: 285, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 285, column: 27, }, end: Position { line: 285, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 285, column: 31, }, end: Position { line: 285, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Data center identifier key. All processes physically located in a\ndata center should share the id. If you are depending on data\ncenter based replication this must be set on all processes.\n", span: Span { start: Position { line: 286, column: 1, }, end: Position { line: 289, column: 13, }, }, }, ), ], span: Span { start: Position { line: 285, column: 37, }, end: Position { line: 289, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 282, column: 35, }, end: Position { line: 290, column: 12, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dataHall", span: Span { start: Position { line: 292, column: 11, }, end: Position { line: 292, column: 19, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 292, column: 22, }, end: Position { line: 292, column: 30, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 293, column: 13, }, end: Position { line: 293, column: 20, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 293, column: 23, }, end: Position { line: 293, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 294, column: 13, }, end: Position { line: 294, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 294, column: 20, }, end: Position { line: 294, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 294, column: 26, }, end: Position { line: 294, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 294, column: 33, }, end: Position { line: 294, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 294, column: 39, }, end: Position { line: 294, column: 42, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 295, column: 13, }, end: Position { line: 295, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 295, column: 27, }, end: Position { line: 295, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 295, column: 31, }, end: Position { line: 295, column: 36, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Data hall identifier key. All processes physically located in a\ndata hall should share the id. If you are depending on data\nhall based replication this must be set on all processes.\n", span: Span { start: Position { line: 296, column: 1, }, end: Position { line: 299, column: 13, }, }, }, ), ], span: Span { start: Position { line: 295, column: 37, }, end: Position { line: 299, column: 15, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 292, column: 31, }, end: Position { line: 300, column: 12, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 261, column: 19, }, end: Position { line: 301, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 260, column: 31, }, end: Position { line: 302, column: 8, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 248, column: 25, }, end: Position { line: 303, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "extraReadWritePaths", span: Span { start: Position { line: 305, column: 5, }, end: Position { line: 305, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 305, column: 27, }, end: Position { line: 305, column: 35, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 306, column: 7, }, end: Position { line: 306, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 306, column: 17, }, end: Position { line: 306, column: 20, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 307, column: 7, }, end: Position { line: 307, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 307, column: 14, }, end: Position { line: 307, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 307, column: 20, }, end: Position { line: 307, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 307, column: 27, }, end: Position { line: 307, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 307, column: 33, }, end: Position { line: 307, column: 37, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 308, column: 7, }, end: Position { line: 308, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 308, column: 21, }, end: Position { line: 308, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 308, column: 25, }, end: Position { line: 308, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "An extra set of filesystem paths that FoundationDB can read to\nand write from. By default, FoundationDB runs under a heavily\nnamespaced systemd environment without write access to most of\nthe filesystem outside of its data and log directories. By\nadding paths to this list, the set of writeable paths will be\nexpanded. This is useful for allowing e.g. backups to local files,\nwhich must be performed on behalf of the foundationdb service.\n", span: Span { start: Position { line: 309, column: 1, }, end: Position { line: 316, column: 7, }, }, }, ), ], span: Span { start: Position { line: 308, column: 31, }, end: Position { line: 316, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 305, column: 36, }, end: Position { line: 317, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "pidfile", span: Span { start: Position { line: 319, column: 5, }, end: Position { line: 319, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 319, column: 15, }, end: Position { line: 319, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 320, column: 7, }, end: Position { line: 320, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 320, column: 21, }, end: Position { line: 320, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 320, column: 27, }, end: Position { line: 320, column: 31, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 321, column: 7, }, end: Position { line: 321, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/run/foundationdb.pid", span: Span { start: Position { line: 321, column: 22, }, end: Position { line: 321, column: 43, }, }, }, ), ], span: Span { start: Position { line: 321, column: 21, }, end: Position { line: 321, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 322, column: 7, }, end: Position { line: 322, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 322, column: 21, }, end: Position { line: 322, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 322, column: 25, }, end: Position { line: 322, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to pidfile for fdbmonitor.", span: Span { start: Position { line: 322, column: 32, }, end: Position { line: 322, column: 63, }, }, }, ), ], span: Span { start: Position { line: 322, column: 31, }, end: Position { line: 322, column: 64, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 319, column: 24, }, end: Position { line: 323, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "traceFormat", span: Span { start: Position { line: 325, column: 5, }, end: Position { line: 325, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 325, column: 19, }, end: Position { line: 325, column: 27, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 326, column: 7, }, end: Position { line: 326, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 326, column: 14, }, end: Position { line: 326, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enum", span: Span { start: Position { line: 326, column: 20, }, end: Position { line: 326, column: 24, }, }, }, ), ], default: None, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "xml", span: Span { start: Position { line: 326, column: 28, }, end: Position { line: 326, column: 31, }, }, }, ), ], span: Span { start: Position { line: 326, column: 27, }, end: Position { line: 326, column: 32, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "json", span: Span { start: Position { line: 326, column: 34, }, end: Position { line: 326, column: 38, }, }, }, ), ], span: Span { start: Position { line: 326, column: 33, }, end: Position { line: 326, column: 39, }, }, }, ), ], span: Span { start: Position { line: 326, column: 25, }, end: Position { line: 326, column: 41, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 327, column: 7, }, end: Position { line: 327, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "xml", span: Span { start: Position { line: 327, column: 18, }, end: Position { line: 327, column: 21, }, }, }, ), ], span: Span { start: Position { line: 327, column: 17, }, end: Position { line: 327, column: 22, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 328, column: 7, }, end: Position { line: 328, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 328, column: 21, }, end: Position { line: 328, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 328, column: 25, }, end: Position { line: 328, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Trace logging format.", span: Span { start: Position { line: 328, column: 32, }, end: Position { line: 328, column: 53, }, }, }, ), ], span: Span { start: Position { line: 328, column: 31, }, end: Position { line: 328, column: 54, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 325, column: 28, }, end: Position { line: 329, column: 6, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 63, column: 35, }, end: Position { line: 330, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "config", span: Span { start: Position { line: 332, column: 3, }, end: Position { line: 332, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 332, column: 12, }, end: Position { line: 332, column: 16, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 332, column: 17, }, end: Position { line: 332, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 332, column: 21, }, end: Position { line: 332, column: 27, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertions", span: Span { start: Position { line: 333, column: 5, }, end: Position { line: 333, column: 15, }, }, }, ), ], to: List( List { elements: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 334, column: 9, }, end: Position { line: 334, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 334, column: 21, }, end: Position { line: 334, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "versionOlder", span: Span { start: Position { line: 334, column: 25, }, end: Position { line: 334, column: 37, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 334, column: 38, }, end: Position { line: 334, column: 41, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 334, column: 42, }, end: Position { line: 334, column: 49, }, }, }, ), Raw( PartRaw { content: "version", span: Span { start: Position { line: 334, column: 50, }, end: Position { line: 334, column: 57, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "6.1", span: Span { start: Position { line: 334, column: 59, }, end: Position { line: 334, column: 62, }, }, }, ), ], span: Span { start: Position { line: 334, column: 58, }, end: Position { line: 334, column: 63, }, }, }, ), ], }, ), operator: Implication, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 334, column: 67, }, end: Position { line: 334, column: 70, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "traceFormat", span: Span { start: Position { line: 334, column: 71, }, end: Position { line: 334, column: 82, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "xml", span: Span { start: Position { line: 334, column: 87, }, end: Position { line: 334, column: 90, }, }, }, ), ], span: Span { start: Position { line: 334, column: 86, }, end: Position { line: 334, column: 91, }, }, }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 335, column: 9, }, end: Position { line: 335, column: 16, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: " Versions of FoundationDB before 6.1 do not support configurable trace formats (only XML is supported).\nThis option has no effect for version ", span: Span { start: Position { line: 336, column: 1, }, end: Position { line: 337, column: 49, }, }, }, ), ], span: Span { start: Position { line: 335, column: 19, }, end: Position { line: 337, column: 51, }, }, }, ), operator: Addition, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 337, column: 54, }, end: Position { line: 337, column: 57, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 337, column: 58, }, end: Position { line: 337, column: 65, }, }, }, ), Raw( PartRaw { content: "version", span: Span { start: Position { line: 337, column: 66, }, end: Position { line: 337, column: 73, }, }, }, ), ], default: None, }, ), }, ), operator: Addition, right: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: ", and enabling it is an error.\n", span: Span { start: Position { line: 337, column: 78, }, end: Position { line: 338, column: 9, }, }, }, ), ], span: Span { start: Position { line: 337, column: 76, }, end: Position { line: 338, column: 11, }, }, }, ), }, ), }, ), ], span: Span { start: Position { line: 334, column: 7, }, end: Position { line: 339, column: 8, }, }, }, ), ], span: Span { start: Position { line: 333, column: 18, }, end: Position { line: 340, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 342, column: 5, }, end: Position { line: 342, column: 16, }, }, }, ), Raw( PartRaw { content: "systemPackages", span: Span { start: Position { line: 342, column: 17, }, end: Position { line: 342, column: 31, }, }, }, ), ], to: List( List { elements: [ Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 342, column: 36, }, end: Position { line: 342, column: 39, }, }, }, ), ], span: Span { start: Position { line: 342, column: 34, }, end: Position { line: 342, column: 41, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 344, column: 5, }, end: Position { line: 344, column: 10, }, }, }, ), Raw( PartRaw { content: "users", span: Span { start: Position { line: 344, column: 11, }, end: Position { line: 344, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 344, column: 19, }, end: Position { line: 344, column: 32, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 344, column: 34, }, end: Position { line: 344, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 344, column: 38, }, end: Position { line: 344, column: 42, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 344, column: 47, }, end: Position { line: 344, column: 59, }, }, }, ), ], span: Span { start: Position { line: 344, column: 46, }, end: Position { line: 344, column: 60, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 345, column: 7, }, end: Position { line: 345, column: 19, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 346, column: 9, }, end: Position { line: 346, column: 20, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "FoundationDB User", span: Span { start: Position { line: 346, column: 24, }, end: Position { line: 346, column: 41, }, }, }, ), ], span: Span { start: Position { line: 346, column: 23, }, end: Position { line: 346, column: 42, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "uid", span: Span { start: Position { line: 347, column: 9, }, end: Position { line: 347, column: 12, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 347, column: 23, }, end: Position { line: 347, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 347, column: 30, }, end: Position { line: 347, column: 33, }, }, }, ), Raw( PartRaw { content: "uids", span: Span { start: Position { line: 347, column: 34, }, end: Position { line: 347, column: 38, }, }, }, ), Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 347, column: 39, }, end: Position { line: 347, column: 51, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 348, column: 9, }, end: Position { line: 348, column: 14, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 348, column: 23, }, end: Position { line: 348, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 348, column: 27, }, end: Position { line: 348, column: 32, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 345, column: 22, }, end: Position { line: 349, column: 8, }, }, }, ), }, ), ], span: Span { start: Position { line: 344, column: 62, }, end: Position { line: 350, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 352, column: 5, }, end: Position { line: 352, column: 10, }, }, }, ), Raw( PartRaw { content: "groups", span: Span { start: Position { line: 352, column: 11, }, end: Position { line: 352, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 352, column: 20, }, end: Position { line: 352, column: 33, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 352, column: 35, }, end: Position { line: 352, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 352, column: 39, }, end: Position { line: 352, column: 44, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 352, column: 49, }, end: Position { line: 352, column: 61, }, }, }, ), ], span: Span { start: Position { line: 352, column: 48, }, end: Position { line: 352, column: 62, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 353, column: 7, }, end: Position { line: 353, column: 19, }, }, }, ), Raw( PartRaw { content: "gid", span: Span { start: Position { line: 353, column: 20, }, end: Position { line: 353, column: 23, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 353, column: 26, }, end: Position { line: 353, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 353, column: 33, }, end: Position { line: 353, column: 36, }, }, }, ), Raw( PartRaw { content: "gids", span: Span { start: Position { line: 353, column: 37, }, end: Position { line: 353, column: 41, }, }, }, ), Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 353, column: 42, }, end: Position { line: 353, column: 54, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 352, column: 64, }, end: Position { line: 354, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "networking", span: Span { start: Position { line: 356, column: 5, }, end: Position { line: 356, column: 15, }, }, }, ), Raw( PartRaw { content: "firewall", span: Span { start: Position { line: 356, column: 16, }, end: Position { line: 356, column: 24, }, }, }, ), Raw( PartRaw { content: "allowedTCPPortRanges", span: Span { start: Position { line: 356, column: 25, }, end: Position { line: 356, column: 45, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 356, column: 48, }, end: Position { line: 356, column: 52, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 356, column: 53, }, end: Position { line: 356, column: 56, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "openFirewall", span: Span { start: Position { line: 356, column: 57, }, end: Position { line: 356, column: 69, }, }, }, ), ], default: None, }, ), List( List { elements: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "from", span: Span { start: Position { line: 357, column: 11, }, end: Position { line: 357, column: 15, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 357, column: 18, }, end: Position { line: 357, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listenPortStart", span: Span { start: Position { line: 357, column: 22, }, end: Position { line: 357, column: 37, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "to", span: Span { start: Position { line: 358, column: 11, }, end: Position { line: 358, column: 13, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 358, column: 17, }, end: Position { line: 358, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listenPortStart", span: Span { start: Position { line: 358, column: 21, }, end: Position { line: 358, column: 36, }, }, }, ), ], default: None, }, ), operator: Addition, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 358, column: 39, }, end: Position { line: 358, column: 42, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "serverProcesses", span: Span { start: Position { line: 358, column: 43, }, end: Position { line: 358, column: 58, }, }, }, ), ], default: None, }, ), }, ), operator: Subtraction, right: Integer( Integer { value: "1", span: Span { start: Position { line: 358, column: 62, }, end: Position { line: 358, column: 63, }, }, }, ), }, ), }, ), ], span: Span { start: Position { line: 357, column: 9, }, end: Position { line: 359, column: 10, }, }, }, ), ], span: Span { start: Position { line: 357, column: 7, }, end: Position { line: 360, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 362, column: 5, }, end: Position { line: 362, column: 12, }, }, }, ), Raw( PartRaw { content: "tmpfiles", span: Span { start: Position { line: 362, column: 13, }, end: Position { line: 362, column: 21, }, }, }, ), Raw( PartRaw { content: "rules", span: Span { start: Position { line: 362, column: 22, }, end: Position { line: 362, column: 27, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "d /etc/foundationdb 0755 ", span: Span { start: Position { line: 363, column: 8, }, end: Position { line: 363, column: 44, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 363, column: 35, }, end: Position { line: 363, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 363, column: 39, }, end: Position { line: 363, column: 43, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 363, column: 8, }, end: Position { line: 363, column: 45, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 363, column: 47, }, end: Position { line: 363, column: 50, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 363, column: 51, }, end: Position { line: 363, column: 56, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " - -", span: Span { start: Position { line: 363, column: 8, }, end: Position { line: 363, column: 61, }, }, }, ), ], span: Span { start: Position { line: 363, column: 7, }, end: Position { line: 363, column: 62, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "d '", span: Span { start: Position { line: 364, column: 8, }, end: Position { line: 364, column: 25, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 364, column: 13, }, end: Position { line: 364, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 364, column: 17, }, end: Position { line: 364, column: 24, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "' 0770 ", span: Span { start: Position { line: 364, column: 8, }, end: Position { line: 364, column: 32, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 364, column: 34, }, end: Position { line: 364, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 364, column: 38, }, end: Position { line: 364, column: 42, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 364, column: 8, }, end: Position { line: 364, column: 44, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 364, column: 46, }, end: Position { line: 364, column: 49, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 364, column: 50, }, end: Position { line: 364, column: 55, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " - -", span: Span { start: Position { line: 364, column: 8, }, end: Position { line: 364, column: 60, }, }, }, ), ], span: Span { start: Position { line: 364, column: 7, }, end: Position { line: 364, column: 61, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "d '", span: Span { start: Position { line: 365, column: 8, }, end: Position { line: 365, column: 24, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 365, column: 13, }, end: Position { line: 365, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "logDir", span: Span { start: Position { line: 365, column: 17, }, end: Position { line: 365, column: 23, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "' 0770 ", span: Span { start: Position { line: 365, column: 8, }, end: Position { line: 365, column: 31, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 365, column: 33, }, end: Position { line: 365, column: 36, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 365, column: 37, }, end: Position { line: 365, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 365, column: 8, }, end: Position { line: 365, column: 43, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 365, column: 45, }, end: Position { line: 365, column: 48, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 365, column: 49, }, end: Position { line: 365, column: 54, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " - -", span: Span { start: Position { line: 365, column: 8, }, end: Position { line: 365, column: 59, }, }, }, ), ], span: Span { start: Position { line: 365, column: 7, }, end: Position { line: 365, column: 60, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "F '", span: Span { start: Position { line: 366, column: 8, }, end: Position { line: 366, column: 25, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 366, column: 13, }, end: Position { line: 366, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "pidfile", span: Span { start: Position { line: 366, column: 17, }, end: Position { line: 366, column: 24, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "' - ", span: Span { start: Position { line: 366, column: 8, }, end: Position { line: 366, column: 29, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 366, column: 31, }, end: Position { line: 366, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 366, column: 35, }, end: Position { line: 366, column: 39, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 366, column: 8, }, end: Position { line: 366, column: 41, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 366, column: 43, }, end: Position { line: 366, column: 46, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 366, column: 47, }, end: Position { line: 366, column: 52, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " - -", span: Span { start: Position { line: 366, column: 8, }, end: Position { line: 366, column: 57, }, }, }, ), ], span: Span { start: Position { line: 366, column: 7, }, end: Position { line: 366, column: 58, }, }, }, ), ], span: Span { start: Position { line: 362, column: 30, }, end: Position { line: 367, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 369, column: 5, }, end: Position { line: 369, column: 12, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 369, column: 13, }, end: Position { line: 369, column: 21, }, }, }, ), Raw( PartRaw { content: "foundationdb", span: Span { start: Position { line: 369, column: 22, }, end: Position { line: 369, column: 34, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 370, column: 7, }, end: Position { line: 370, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "FoundationDB Service", span: Span { start: Position { line: 370, column: 34, }, end: Position { line: 370, column: 54, }, }, }, ), ], span: Span { start: Position { line: 370, column: 33, }, end: Position { line: 370, column: 55, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "after", span: Span { start: Position { line: 372, column: 7, }, end: Position { line: 372, column: 12, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "network.target", span: Span { start: Position { line: 372, column: 36, }, end: Position { line: 372, column: 50, }, }, }, ), ], span: Span { start: Position { line: 372, column: 35, }, end: Position { line: 372, column: 51, }, }, }, ), ], span: Span { start: Position { line: 372, column: 33, }, end: Position { line: 372, column: 53, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wantedBy", span: Span { start: Position { line: 373, column: 7, }, end: Position { line: 373, column: 15, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "multi-user.target", span: Span { start: Position { line: 373, column: 36, }, end: Position { line: 373, column: 53, }, }, }, ), ], span: Span { start: Position { line: 373, column: 35, }, end: Position { line: 373, column: 54, }, }, }, ), ], span: Span { start: Position { line: 373, column: 33, }, end: Position { line: 373, column: 56, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "unitConfig", span: Span { start: Position { line: 374, column: 7, }, end: Position { line: 374, column: 17, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RequiresMountsFor", span: Span { start: Position { line: 375, column: 11, }, end: Position { line: 375, column: 28, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 375, column: 34, }, end: Position { line: 375, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 375, column: 38, }, end: Position { line: 375, column: 45, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " ", span: Span { start: Position { line: 375, column: 32, }, end: Position { line: 375, column: 47, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 375, column: 49, }, end: Position { line: 375, column: 52, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "logDir", span: Span { start: Position { line: 375, column: 53, }, end: Position { line: 375, column: 59, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 375, column: 31, }, end: Position { line: 375, column: 61, }, }, }, ), }, ), ], span: Span { start: Position { line: 375, column: 9, }, end: Position { line: 376, column: 10, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 378, column: 7, }, end: Position { line: 378, column: 20, }, }, }, ), ], to: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "rwpaths", span: Span { start: Position { line: 379, column: 13, }, end: Position { line: 379, column: 20, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 379, column: 25, }, end: Position { line: 379, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 379, column: 29, }, end: Position { line: 379, column: 36, }, }, }, ), ], default: None, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 379, column: 37, }, end: Position { line: 379, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "logDir", span: Span { start: Position { line: 379, column: 41, }, end: Position { line: 379, column: 47, }, }, }, ), ], default: None, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 379, column: 48, }, end: Position { line: 379, column: 51, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "pidfile", span: Span { start: Position { line: 379, column: 52, }, end: Position { line: 379, column: 59, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "/etc/foundationdb", span: Span { start: Position { line: 379, column: 61, }, end: Position { line: 379, column: 78, }, }, }, ), ], span: Span { start: Position { line: 379, column: 60, }, end: Position { line: 379, column: 79, }, }, }, ), ], span: Span { start: Position { line: 379, column: 23, }, end: Position { line: 379, column: 81, }, }, }, ), operator: Concatenation, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 380, column: 23, }, end: Position { line: 380, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "extraReadWritePaths", span: Span { start: Position { line: 380, column: 27, }, end: Position { line: 380, column: 46, }, }, }, ), ], default: None, }, ), }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Type", span: Span { start: Position { line: 382, column: 11, }, end: Position { line: 382, column: 15, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "simple", span: Span { start: Position { line: 382, column: 25, }, end: Position { line: 382, column: 31, }, }, }, ), ], span: Span { start: Position { line: 382, column: 24, }, end: Position { line: 382, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Restart", span: Span { start: Position { line: 383, column: 11, }, end: Position { line: 383, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "always", span: Span { start: Position { line: 383, column: 25, }, end: Position { line: 383, column: 31, }, }, }, ), ], span: Span { start: Position { line: 383, column: 24, }, end: Position { line: 383, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestartSec", span: Span { start: Position { line: 384, column: 11, }, end: Position { line: 384, column: 21, }, }, }, ), ], to: Integer( Integer { value: "5", span: Span { start: Position { line: 384, column: 24, }, end: Position { line: 384, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "User", span: Span { start: Position { line: 385, column: 11, }, end: Position { line: 385, column: 15, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 385, column: 24, }, end: Position { line: 385, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 385, column: 28, }, end: Position { line: 385, column: 32, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Group", span: Span { start: Position { line: 386, column: 11, }, end: Position { line: 386, column: 16, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 386, column: 24, }, end: Position { line: 386, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 386, column: 28, }, end: Position { line: 386, column: 33, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PIDFile", span: Span { start: Position { line: 387, column: 11, }, end: Position { line: 387, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 387, column: 27, }, end: Position { line: 387, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "pidfile", span: Span { start: Position { line: 387, column: 31, }, end: Position { line: 387, column: 38, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 387, column: 24, }, end: Position { line: 387, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PermissionsStartOnly", span: Span { start: Position { line: 389, column: 11, }, end: Position { line: 389, column: 31, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 389, column: 34, }, end: Position { line: 389, column: 38, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "TimeoutSec", span: Span { start: Position { line: 390, column: 11, }, end: Position { line: 390, column: 21, }, }, }, ), ], to: Integer( Integer { value: "120", span: Span { start: Position { line: 390, column: 34, }, end: Position { line: 390, column: 37, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "NoNewPrivileges", span: Span { start: Position { line: 393, column: 11, }, end: Position { line: 393, column: 26, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 393, column: 35, }, end: Position { line: 393, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectHome", span: Span { start: Position { line: 394, column: 11, }, end: Position { line: 394, column: 22, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 394, column: 35, }, end: Position { line: 394, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectSystem", span: Span { start: Position { line: 395, column: 11, }, end: Position { line: 395, column: 24, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "strict", span: Span { start: Position { line: 395, column: 36, }, end: Position { line: 395, column: 42, }, }, }, ), ], span: Span { start: Position { line: 395, column: 35, }, end: Position { line: 395, column: 43, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectKernelTunables", span: Span { start: Position { line: 396, column: 11, }, end: Position { line: 396, column: 32, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 396, column: 35, }, end: Position { line: 396, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ProtectControlGroups", span: Span { start: Position { line: 397, column: 11, }, end: Position { line: 397, column: 31, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 397, column: 35, }, end: Position { line: 397, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateTmp", span: Span { start: Position { line: 398, column: 11, }, end: Position { line: 398, column: 21, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 398, column: 35, }, end: Position { line: 398, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "PrivateDevices", span: Span { start: Position { line: 399, column: 11, }, end: Position { line: 399, column: 25, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 399, column: 35, }, end: Position { line: 399, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ReadWritePaths", span: Span { start: Position { line: 400, column: 11, }, end: Position { line: 400, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 400, column: 35, }, end: Position { line: 400, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "concatStringsSep", span: Span { start: Position { line: 400, column: 39, }, end: Position { line: 400, column: 55, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: " ", span: Span { start: Position { line: 400, column: 57, }, end: Position { line: 400, column: 58, }, }, }, ), ], span: Span { start: Position { line: 400, column: 56, }, end: Position { line: 400, column: 59, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 400, column: 61, }, end: Position { line: 400, column: 64, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "x", }, ), body: BinaryOperation( BinaryOperation { left: String( String_ { parts: [ Raw( PartRaw { content: "-", span: Span { start: Position { line: 400, column: 70, }, end: Position { line: 400, column: 71, }, }, }, ), ], span: Span { start: Position { line: 400, column: 69, }, end: Position { line: 400, column: 72, }, }, }, ), operator: Addition, right: Identifier( Identifier { id: "x", span: Span { start: Position { line: 400, column: 75, }, end: Position { line: 400, column: 76, }, }, }, ), }, ), span: Span { start: Position { line: 400, column: 66, }, end: Position { line: 400, column: 76, }, }, }, ), Identifier( Identifier { id: "rwpaths", span: Span { start: Position { line: 400, column: 78, }, end: Position { line: 400, column: 85, }, }, }, ), ], }, ), ], }, ), }, ), ], span: Span { start: Position { line: 382, column: 9, }, end: Position { line: 401, column: 10, }, }, }, ), span: Span { start: Position { line: 379, column: 9, }, end: Position { line: 401, column: 10, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 403, column: 7, }, end: Position { line: 403, column: 11, }, }, }, ), ], to: List( List { elements: [ Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 403, column: 16, }, end: Position { line: 403, column: 19, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 403, column: 20, }, end: Position { line: 403, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "coreutils", span: Span { start: Position { line: 403, column: 25, }, end: Position { line: 403, column: 34, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 403, column: 14, }, end: Position { line: 403, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "preStart", span: Span { start: Position { line: 405, column: 7, }, end: Position { line: 405, column: 15, }, }, }, ), ], to: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "if [ ! -f /etc/foundationdb/fdb.cluster ]; then\n cf=/etc/foundationdb/fdb.cluster\n desc=$(tr -dc A-Za-z0-9 /dev/null | head -c8)\n rand=$(tr -dc A-Za-z0-9 /dev/null | head -c8)\n echo ", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 18, }, }, }, ), Raw( PartRaw { content: "$", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 21, }, }, }, ), Raw( PartRaw { content: "{desc}:", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 28, }, }, }, ), Raw( PartRaw { content: "$", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 31, }, }, }, ), Raw( PartRaw { content: "{rand}@", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 38, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "initialIpAddr", span: Span { start: Position { line: 410, column: 40, }, end: Position { line: 410, column: 53, }, }, }, ), }, ), Raw( PartRaw { content: ":", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 410, column: 55, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "builtins", span: Span { start: Position { line: 410, column: 57, }, end: Position { line: 410, column: 65, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "toString", span: Span { start: Position { line: 410, column: 66, }, end: Position { line: 410, column: 74, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 410, column: 75, }, end: Position { line: 410, column: 78, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listenPortStart", span: Span { start: Position { line: 410, column: 79, }, end: Position { line: 410, column: 94, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: " > $cf\n chmod 0664 $cf\n touch \"", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 412, column: 20, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 412, column: 22, }, end: Position { line: 412, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 412, column: 26, }, end: Position { line: 412, column: 33, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/.first_startup\"\nfi\n", span: Span { start: Position { line: 406, column: 1, }, end: Position { line: 414, column: 7, }, }, }, ), ], span: Span { start: Position { line: 405, column: 18, }, end: Position { line: 414, column: 9, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "script", span: Span { start: Position { line: 416, column: 7, }, end: Position { line: 416, column: 13, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "exec fdbmonitor --lockfile ", span: Span { start: Position { line: 416, column: 17, }, end: Position { line: 416, column: 58, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 416, column: 46, }, end: Position { line: 416, column: 49, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "pidfile", span: Span { start: Position { line: 416, column: 50, }, end: Position { line: 416, column: 57, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: " --conffile ", span: Span { start: Position { line: 416, column: 17, }, end: Position { line: 416, column: 70, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "configFile", span: Span { start: Position { line: 416, column: 72, }, end: Position { line: 416, column: 82, }, }, }, ), }, ), ], span: Span { start: Position { line: 416, column: 16, }, end: Position { line: 416, column: 84, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "postStart", span: Span { start: Position { line: 418, column: 7, }, end: Position { line: 418, column: 16, }, }, }, ), ], to: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "if [ -e \"", span: Span { start: Position { line: 419, column: 1, }, end: Position { line: 419, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 419, column: 20, }, end: Position { line: 419, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 419, column: 24, }, end: Position { line: 419, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/.first_startup\" ]; then\n fdbcli --exec \"configure new single ssd\"\n rm -f \"", span: Span { start: Position { line: 419, column: 1, }, end: Position { line: 421, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 421, column: 20, }, end: Position { line: 421, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dataDir", span: Span { start: Position { line: 421, column: 24, }, end: Position { line: 421, column: 31, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/.first_startup\";\nfi\n", span: Span { start: Position { line: 419, column: 1, }, end: Position { line: 423, column: 7, }, }, }, ), ], span: Span { start: Position { line: 418, column: 19, }, end: Position { line: 423, column: 9, }, }, }, ), }, ), ], span: Span { start: Position { line: 369, column: 37, }, end: Position { line: 424, column: 6, }, }, }, ), }, ), ], span: Span { start: Position { line: 332, column: 28, }, end: Position { line: 425, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "meta", span: Span { start: Position { line: 427, column: 3, }, end: Position { line: 427, column: 7, }, }, }, ), Raw( PartRaw { content: "doc", span: Span { start: Position { line: 427, column: 8, }, end: Position { line: 427, column: 11, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./foundationdb.xml", span: Span { start: Position { line: 427, column: 22, }, end: Position { line: 427, column: 40, }, }, }, ), ], span: Span { start: Position { line: 427, column: 22, }, end: Position { line: 427, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "meta", span: Span { start: Position { line: 428, column: 3, }, end: Position { line: 428, column: 7, }, }, }, ), Raw( PartRaw { content: "maintainers", span: Span { start: Position { line: 428, column: 8, }, end: Position { line: 428, column: 19, }, }, }, ), ], to: With( With { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 428, column: 27, }, end: Position { line: 428, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "maintainers", span: Span { start: Position { line: 428, column: 31, }, end: Position { line: 428, column: 42, }, }, }, ), ], default: None, }, ), target: List( List { elements: [ Identifier( Identifier { id: "thoughtpolice", span: Span { start: Position { line: 428, column: 46, }, end: Position { line: 428, column: 59, }, }, }, ), ], span: Span { start: Position { line: 428, column: 44, }, end: Position { line: 428, column: 61, }, }, }, ), span: Span { start: Position { line: 428, column: 22, }, end: Position { line: 428, column: 61, }, }, }, ), }, ), ], span: Span { start: Position { line: 62, column: 1, }, end: Position { line: 429, column: 2, }, }, }, ), span: Span { start: Position { line: 5, column: 1, }, end: Position { line: 429, column: 2, }, }, }, ), span: Span { start: Position { line: 3, column: 1, }, end: Position { line: 429, column: 2, }, }, }, ), span: Span { start: Position { line: 1, column: 1, }, end: Position { line: 429, column: 2, }, }, }, )