Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "options", default: None, }, 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: "dovecot2", span: Span { start: Position { line: 6, column: 25, }, end: Position { line: 6, column: 33, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovecotPkg", span: Span { start: Position { line: 7, column: 3, }, end: Position { line: 7, column: 13, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 7, column: 16, }, end: Position { line: 7, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dovecot", span: Span { start: Position { line: 7, column: 21, }, end: Position { line: 7, column: 28, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "baseDir", span: Span { start: Position { line: 9, column: 3, }, end: Position { line: 9, column: 10, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/run/dovecot2", span: Span { start: Position { line: 9, column: 14, }, end: Position { line: 9, column: 27, }, }, }, ), ], span: Span { start: Position { line: 9, column: 13, }, end: Position { line: 9, column: 28, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "stateDir", span: Span { start: Position { line: 10, column: 3, }, end: Position { line: 10, column: 11, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "/var/lib/dovecot", span: Span { start: Position { line: 10, column: 15, }, end: Position { line: 10, column: 31, }, }, }, ), ], span: Span { start: Position { line: 10, column: 14, }, end: Position { line: 10, column: 32, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovecotConf", span: Span { start: Position { line: 12, column: 3, }, end: Position { line: 12, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStrings", span: Span { start: Position { line: 12, column: 17, }, end: Position { line: 12, column: 30, }, }, }, ), arguments: [ List( List { elements: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "base_dir = ", span: Span { start: Position { line: 14, column: 1, }, end: Position { line: 14, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "baseDir", span: Span { start: Position { line: 14, column: 20, }, end: Position { line: 14, column: 27, }, }, }, ), }, ), Raw( PartRaw { content: "\nprotocols = ", span: Span { start: Position { line: 14, column: 1, }, end: Position { line: 15, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 15, column: 21, }, end: Position { line: 15, column: 37, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: " ", span: Span { start: Position { line: 15, column: 39, }, end: Position { line: 15, column: 40, }, }, }, ), ], span: Span { start: Position { line: 15, column: 38, }, end: Position { line: 15, column: 41, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 15, column: 42, }, end: Position { line: 15, column: 45, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "protocols", span: Span { start: Position { line: 15, column: 46, }, end: Position { line: 15, column: 55, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\nsendmail_path = /run/wrappers/bin/sendmail\n# defining mail_plugins must be done before the first protocol {} filter because of https://doc.dovecot.org/configuration_manual/config_file/config_file_syntax/#variable-expansion\nmail_plugins = $mail_plugins ", span: Span { start: Position { line: 14, column: 1, }, end: Position { line: 18, column: 36, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 18, column: 38, }, end: Position { line: 18, column: 54, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: " ", span: Span { start: Position { line: 18, column: 56, }, end: Position { line: 18, column: 57, }, }, }, ), ], span: Span { start: Position { line: 18, column: 55, }, end: Position { line: 18, column: 58, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 18, column: 59, }, end: Position { line: 18, column: 62, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailPlugins", span: Span { start: Position { line: 18, column: 63, }, end: Position { line: 18, column: 74, }, }, }, ), Raw( PartRaw { content: "globally", span: Span { start: Position { line: 18, column: 75, }, end: Position { line: 18, column: 83, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 18, column: 84, }, end: Position { line: 18, column: 90, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 14, column: 1, }, end: Position { line: 19, column: 5, }, }, }, ), ], span: Span { start: Position { line: 13, column: 5, }, end: Position { line: 19, column: 7, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 22, column: 7, }, end: Position { line: 22, column: 23, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 22, column: 25, }, end: Position { line: 22, column: 27, }, }, }, ), ], span: Span { start: Position { line: 22, column: 24, }, end: Position { line: 22, column: 28, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 23, column: 9, }, end: Position { line: 23, column: 23, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "protocol", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "plugins", }, ), body: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "protocol ", span: Span { start: Position { line: 25, column: 1, }, end: Position { line: 25, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "protocol", span: Span { start: Position { line: 25, column: 24, }, end: Position { line: 25, column: 32, }, }, }, ), }, ), Raw( PartRaw { content: " {\n mail_plugins = $mail_plugins ", span: Span { start: Position { line: 25, column: 1, }, end: Position { line: 26, column: 44, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 26, column: 46, }, end: Position { line: 26, column: 62, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: " ", span: Span { start: Position { line: 26, column: 64, }, end: Position { line: 26, column: 65, }, }, }, ), ], span: Span { start: Position { line: 26, column: 63, }, end: Position { line: 26, column: 66, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "plugins", span: Span { start: Position { line: 26, column: 67, }, end: Position { line: 26, column: 74, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 26, column: 75, }, end: Position { line: 26, column: 81, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n}\n", span: Span { start: Position { line: 25, column: 1, }, end: Position { line: 28, column: 11, }, }, }, ), ], span: Span { start: Position { line: 24, column: 30, }, end: Position { line: 28, column: 13, }, }, }, ), span: Span { start: Position { line: 24, column: 21, }, end: Position { line: 28, column: 13, }, }, }, ), span: Span { start: Position { line: 24, column: 11, }, end: Position { line: 28, column: 13, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 29, column: 11, }, end: Position { line: 29, column: 14, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailPlugins", span: Span { start: Position { line: 29, column: 15, }, end: Position { line: 29, column: 26, }, }, }, ), Raw( PartRaw { content: "perProtocol", span: Span { start: Position { line: 29, column: 27, }, end: Position { line: 29, column: 38, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), IfThenElse( IfThenElse { predicate: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 34, column: 10, }, end: Position { line: 34, column: 13, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 34, column: 14, }, end: Position { line: 34, column: 27, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 34, column: 31, }, end: Position { line: 34, column: 35, }, }, }, ), }, ), then: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "ssl = no\ndisable_plaintext_auth = no\n", span: Span { start: Position { line: 35, column: 1, }, end: Position { line: 37, column: 7, }, }, }, ), ], span: Span { start: Position { line: 34, column: 41, }, end: Position { line: 37, column: 9, }, }, }, ), else_: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "ssl_cert = <", span: Span { start: Position { line: 38, column: 1, }, end: Position { line: 38, column: 21, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 38, column: 23, }, end: Position { line: 38, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 38, column: 27, }, end: Position { line: 38, column: 40, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\nssl_key = <", span: Span { start: Position { line: 38, column: 1, }, end: Position { line: 39, column: 20, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 39, column: 22, }, end: Position { line: 39, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerKey", span: Span { start: Position { line: 39, column: 26, }, end: Position { line: 39, column: 38, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 38, column: 1, }, end: Position { line: 40, column: 9, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 40, column: 11, }, end: Position { line: 40, column: 25, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 40, column: 27, }, end: Position { line: 40, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslCACert", span: Span { start: Position { line: 40, column: 31, }, end: Position { line: 40, column: 40, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 40, column: 44, }, end: Position { line: 40, column: 48, }, }, }, ), }, ), BinaryOperation( BinaryOperation { left: String( String_ { parts: [ Raw( PartRaw { content: "ssl_ca = <", span: Span { start: Position { line: 40, column: 52, }, end: Position { line: 40, column: 62, }, }, }, ), ], span: Span { start: Position { line: 40, column: 51, }, end: Position { line: 40, column: 63, }, }, }, ), operator: Addition, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 40, column: 66, }, end: Position { line: 40, column: 69, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslCACert", span: Span { start: Position { line: 40, column: 70, }, end: Position { line: 40, column: 79, }, }, }, ), ], default: None, }, ), }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 38, column: 1, }, end: Position { line: 41, column: 9, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 41, column: 11, }, end: Position { line: 41, column: 25, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 41, column: 26, }, end: Position { line: 41, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableDHE", span: Span { start: Position { line: 41, column: 30, }, end: Position { line: 41, column: 39, }, }, }, ), ], default: None, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "ssl_dh = <", span: Span { start: Position { line: 41, column: 42, }, end: Position { line: 41, column: 52, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 41, column: 54, }, end: Position { line: 41, column: 60, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "security", span: Span { start: Position { line: 41, column: 61, }, end: Position { line: 41, column: 69, }, }, }, ), Raw( PartRaw { content: "dhparams", span: Span { start: Position { line: 41, column: 70, }, end: Position { line: 41, column: 78, }, }, }, ), Raw( PartRaw { content: "params", span: Span { start: Position { line: 41, column: 79, }, end: Position { line: 41, column: 85, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 41, column: 86, }, end: Position { line: 41, column: 94, }, }, }, ), Raw( PartRaw { content: "path", span: Span { start: Position { line: 41, column: 95, }, end: Position { line: 41, column: 99, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 41, column: 40, }, end: Position { line: 41, column: 102, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\ndisable_plaintext_auth = yes\n", span: Span { start: Position { line: 38, column: 1, }, end: Position { line: 43, column: 7, }, }, }, ), ], span: Span { start: Position { line: 37, column: 15, }, end: Position { line: 43, column: 9, }, }, }, ), span: Span { start: Position { line: 34, column: 7, }, end: Position { line: 43, column: 9, }, }, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "default_internal_user = ", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 47, column: 31, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 47, column: 33, }, end: Position { line: 47, column: 36, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 47, column: 37, }, end: Position { line: 47, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\ndefault_internal_group = ", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 48, column: 32, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 48, column: 34, }, end: Position { line: 48, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 48, column: 38, }, end: Position { line: 48, column: 43, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 49, column: 7, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 49, column: 9, }, end: Position { line: 49, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 49, column: 25, }, end: Position { line: 49, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 49, column: 29, }, end: Position { line: 49, column: 37, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 49, column: 41, }, end: Position { line: 49, column: 45, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "mail_uid = ", span: Span { start: Position { line: 49, column: 48, }, end: Position { line: 49, column: 74, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 49, column: 61, }, end: Position { line: 49, column: 64, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 49, column: 65, }, end: Position { line: 49, column: 73, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 49, column: 47, }, end: Position { line: 49, column: 75, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 50, column: 7, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 50, column: 9, }, end: Position { line: 50, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 50, column: 25, }, end: Position { line: 50, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 50, column: 29, }, end: Position { line: 50, column: 38, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 50, column: 42, }, end: Position { line: 50, column: 46, }, }, }, ), }, ), String( String_ { parts: [ Raw( PartRaw { content: "mail_gid = ", span: Span { start: Position { line: 50, column: 49, }, end: Position { line: 50, column: 76, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 50, column: 62, }, end: Position { line: 50, column: 65, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 50, column: 66, }, end: Position { line: 50, column: 75, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 50, column: 48, }, end: Position { line: 50, column: 77, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n\nmail_location = ", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 52, column: 23, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 52, column: 25, }, end: Position { line: 52, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailLocation", span: Span { start: Position { line: 52, column: 29, }, end: Position { line: 52, column: 41, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n\nmaildir_copy_with_hardlinks = yes\npop3_uidl_format = %08Xv%08Xu\n\nauth_mechanisms = plain login\n\nservice auth {\n user = root\n}\n", span: Span { start: Position { line: 47, column: 1, }, end: Position { line: 62, column: 5, }, }, }, ), ], span: Span { start: Position { line: 46, column: 5, }, end: Position { line: 62, column: 7, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 65, column: 7, }, end: Position { line: 65, column: 21, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 65, column: 22, }, end: Position { line: 65, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enablePAM", span: Span { start: Position { line: 65, column: 26, }, end: Position { line: 65, column: 35, }, }, }, ), ], default: None, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "userdb {\n driver = passwd\n}\n\npassdb {\n driver = pam\n args = ", span: Span { start: Position { line: 66, column: 1, }, end: Position { line: 72, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 72, column: 20, }, end: Position { line: 72, column: 34, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 72, column: 35, }, end: Position { line: 72, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "showPAMFailure", span: Span { start: Position { line: 72, column: 39, }, end: Position { line: 72, column: 53, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "failure_show_msg=yes", span: Span { start: Position { line: 72, column: 55, }, end: Position { line: 72, column: 75, }, }, }, ), ], span: Span { start: Position { line: 72, column: 54, }, end: Position { line: 72, column: 76, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: " dovecot2\n}\n", span: Span { start: Position { line: 66, column: 1, }, end: Position { line: 74, column: 7, }, }, }, ), ], span: Span { start: Position { line: 65, column: 36, }, end: Position { line: 74, column: 9, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 78, column: 7, }, end: Position { line: 78, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 78, column: 23, }, end: Position { line: 78, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 78, column: 27, }, end: Position { line: 78, column: 39, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 78, column: 43, }, end: Position { line: 78, column: 45, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "plugin {\n ", span: Span { start: Position { line: 79, column: 1, }, end: Position { line: 80, column: 11, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 80, column: 13, }, end: Position { line: 80, column: 29, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 80, column: 31, }, end: Position { line: 80, column: 33, }, }, }, ), ], span: Span { start: Position { line: 80, column: 30, }, end: Position { line: 80, column: 34, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 80, column: 36, }, end: Position { line: 80, column: 50, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "to", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "from", }, ), body: String( String_ { parts: [ Raw( PartRaw { content: "sieve_", span: Span { start: Position { line: 80, column: 63, }, end: Position { line: 80, column: 74, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 80, column: 71, }, end: Position { line: 80, column: 73, }, }, }, ), }, ), Raw( PartRaw { content: " = ", span: Span { start: Position { line: 80, column: 63, }, end: Position { line: 80, column: 77, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 80, column: 79, }, end: Position { line: 80, column: 87, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve/", span: Span { start: Position { line: 80, column: 63, }, end: Position { line: 80, column: 95, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 80, column: 97, }, end: Position { line: 80, column: 99, }, }, }, ), }, ), ], span: Span { start: Position { line: 80, column: 62, }, end: Position { line: 80, column: 101, }, }, }, ), span: Span { start: Position { line: 80, column: 56, }, end: Position { line: 80, column: 101, }, }, }, ), span: Span { start: Position { line: 80, column: 52, }, end: Position { line: 80, column: 101, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 80, column: 103, }, end: Position { line: 80, column: 106, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 80, column: 107, }, end: Position { line: 80, column: 119, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), Raw( PartRaw { content: "\n}\n", span: Span { start: Position { line: 79, column: 1, }, end: Position { line: 82, column: 7, }, }, }, ), ], span: Span { start: Position { line: 78, column: 47, }, end: Position { line: 82, column: 9, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 86, column: 7, }, end: Position { line: 86, column: 21, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 86, column: 23, }, end: Position { line: 86, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailboxes", span: Span { start: Position { line: 86, column: 27, }, end: Position { line: 86, column: 36, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 86, column: 40, }, end: Position { line: 86, column: 42, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "namespace inbox {\n inbox=yes\n ", span: Span { start: Position { line: 87, column: 1, }, end: Position { line: 89, column: 11, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 89, column: 13, }, end: Position { line: 89, column: 29, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 89, column: 31, }, end: Position { line: 89, column: 33, }, }, }, ), ], span: Span { start: Position { line: 89, column: 30, }, end: Position { line: 89, column: 34, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 89, column: 36, }, end: Position { line: 89, column: 39, }, }, }, ), arguments: [ Identifier( Identifier { id: "mailboxConfig", span: Span { start: Position { line: 89, column: 40, }, end: Position { line: 89, column: 53, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrValues", span: Span { start: Position { line: 89, column: 55, }, end: Position { line: 89, column: 65, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 89, column: 66, }, end: Position { line: 89, column: 69, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailboxes", span: Span { start: Position { line: 89, column: 70, }, end: Position { line: 89, column: 79, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), ], }, ), }, ), Raw( PartRaw { content: "\n}\n", span: Span { start: Position { line: 87, column: 1, }, end: Position { line: 91, column: 7, }, }, }, ), ], span: Span { start: Position { line: 86, column: 44, }, end: Position { line: 91, column: 9, }, }, }, ), ], }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 95, column: 7, }, end: Position { line: 95, column: 21, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 95, column: 22, }, end: Position { line: 95, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableQuota", span: Span { start: Position { line: 95, column: 26, }, end: Position { line: 95, column: 37, }, }, }, ), ], default: None, }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "service quota-status {\n executable = ", span: Span { start: Position { line: 96, column: 1, }, end: Position { line: 97, column: 24, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 97, column: 26, }, end: Position { line: 97, column: 36, }, }, }, ), }, ), Raw( PartRaw { content: "/libexec/dovecot/quota-status -p postfix\n inet_listener {\n port = ", span: Span { start: Position { line: 96, column: 1, }, end: Position { line: 99, column: 20, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 99, column: 22, }, end: Position { line: 99, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "quotaPort", span: Span { start: Position { line: 99, column: 26, }, end: Position { line: 99, column: 35, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n }\n client_limit = 1\n}\n\nplugin {\n quota_rule = *:storage=", span: Span { start: Position { line: 96, column: 1, }, end: Position { line: 105, column: 34, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 105, column: 36, }, end: Position { line: 105, column: 39, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "quotaGlobalPerUser", span: Span { start: Position { line: 105, column: 40, }, end: Position { line: 105, column: 58, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n quota = count:User quota # per virtual mail user quota\n quota_status_success = DUNNO\n quota_status_nouser = DUNNO\n quota_status_overquota = \"552 5.2.2 Mailbox is full\"\n quota_grace = 10%%\n quota_vsizes = yes\n}\n", span: Span { start: Position { line: 96, column: 1, }, end: Position { line: 113, column: 7, }, }, }, ), ], span: Span { start: Position { line: 95, column: 38, }, end: Position { line: 113, column: 9, }, }, }, ), ], }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 116, column: 5, }, end: Position { line: 116, column: 8, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "extraConfig", span: Span { start: Position { line: 116, column: 9, }, end: Position { line: 116, column: 20, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 12, column: 31, }, end: Position { line: 117, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "modulesDir", span: Span { start: Position { line: 119, column: 3, }, end: Position { line: 119, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 119, column: 16, }, end: Position { line: 119, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "symlinkJoin", span: Span { start: Position { line: 119, column: 21, }, end: Position { line: 119, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 120, column: 5, }, end: Position { line: 120, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot-modules", span: Span { start: Position { line: 120, column: 13, }, end: Position { line: 120, column: 28, }, }, }, ), ], span: Span { start: Position { line: 120, column: 12, }, end: Position { line: 120, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "paths", span: Span { start: Position { line: 121, column: 5, }, end: Position { line: 121, column: 10, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 121, column: 13, }, end: Position { line: 121, column: 16, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "pkg", }, ), body: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "pkg", span: Span { start: Position { line: 121, column: 26, }, end: Position { line: 121, column: 29, }, }, }, ), }, ), Raw( PartRaw { content: "/lib/dovecot", span: Span { start: Position { line: 121, column: 24, }, end: Position { line: 121, column: 42, }, }, }, ), ], span: Span { start: Position { line: 121, column: 23, }, end: Position { line: 121, column: 43, }, }, }, ), span: Span { start: Position { line: 121, column: 18, }, end: Position { line: 121, column: 43, }, }, }, ), BinaryOperation( BinaryOperation { left: List( List { elements: [ Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 121, column: 48, }, end: Position { line: 121, column: 58, }, }, }, ), ], span: Span { start: Position { line: 121, column: 46, }, end: Position { line: 121, column: 60, }, }, }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 121, column: 64, }, end: Position { line: 121, column: 67, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "module", }, ), body: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "module", span: Span { start: Position { line: 121, column: 77, }, end: Position { line: 121, column: 83, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "override", span: Span { start: Position { line: 121, column: 84, }, end: Position { line: 121, column: 92, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovecot", span: Span { start: Position { line: 121, column: 95, }, end: Position { line: 121, column: 102, }, }, }, ), ], to: Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 121, column: 105, }, end: Position { line: 121, column: 115, }, }, }, ), }, ), ], span: Span { start: Position { line: 121, column: 93, }, end: Position { line: 121, column: 118, }, }, }, ), ], }, ), span: Span { start: Position { line: 121, column: 69, }, end: Position { line: 121, column: 118, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 121, column: 120, }, end: Position { line: 121, column: 123, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "modules", span: Span { start: Position { line: 121, column: 124, }, end: Position { line: 121, column: 131, }, }, }, ), ], default: None, }, ), ], }, ), }, ), ], }, ), }, ), ], span: Span { start: Position { line: 119, column: 33, }, end: Position { line: 122, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailboxConfig", span: Span { start: Position { line: 124, column: 3, }, end: Position { line: 124, column: 16, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "mailbox", }, ), body: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "mailbox \"", span: Span { start: Position { line: 125, column: 1, }, end: Position { line: 125, column: 14, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 125, column: 16, }, end: Position { line: 125, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 125, column: 24, }, end: Position { line: 125, column: 28, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\" {\n auto = ", span: Span { start: Position { line: 125, column: 1, }, end: Position { line: 126, column: 14, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 126, column: 16, }, end: Position { line: 126, column: 24, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 126, column: 25, }, end: Position { line: 126, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "auto", span: Span { start: Position { line: 126, column: 33, }, end: Position { line: 126, column: 37, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 125, column: 1, }, end: Position { line: 127, column: 3, }, }, }, ), ], span: Span { start: Position { line: 124, column: 28, }, end: Position { line: 127, column: 5, }, }, }, ), operator: Addition, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 127, column: 8, }, end: Position { line: 127, column: 22, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 127, column: 24, }, end: Position { line: 127, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "autoexpunge", span: Span { start: Position { line: 127, column: 32, }, end: Position { line: 127, column: 43, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 127, column: 47, }, end: Position { line: 127, column: 51, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "autoexpunge = ", span: Span { start: Position { line: 128, column: 1, }, end: Position { line: 128, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 128, column: 21, }, end: Position { line: 128, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "autoexpunge", span: Span { start: Position { line: 128, column: 29, }, end: Position { line: 128, column: 40, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 128, column: 1, }, end: Position { line: 129, column: 3, }, }, }, ), ], span: Span { start: Position { line: 127, column: 53, }, end: Position { line: 129, column: 5, }, }, }, ), ], }, ), }, ), operator: Addition, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 129, column: 8, }, end: Position { line: 129, column: 22, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 129, column: 24, }, end: Position { line: 129, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "specialUse", span: Span { start: Position { line: 129, column: 32, }, end: Position { line: 129, column: 42, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 129, column: 46, }, end: Position { line: 129, column: 50, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "special_use = \\", span: Span { start: Position { line: 130, column: 1, }, end: Position { line: 130, column: 20, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "toString", span: Span { start: Position { line: 130, column: 22, }, end: Position { line: 130, column: 30, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "mailbox", span: Span { start: Position { line: 130, column: 31, }, end: Position { line: 130, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "specialUse", span: Span { start: Position { line: 130, column: 39, }, end: Position { line: 130, column: 49, }, }, }, ), ], default: None, }, ), ], }, ), }, ), Raw( PartRaw { content: "\n", span: Span { start: Position { line: 130, column: 1, }, end: Position { line: 131, column: 3, }, }, }, ), ], span: Span { start: Position { line: 129, column: 52, }, end: Position { line: 131, column: 5, }, }, }, ), ], }, ), }, ), operator: Addition, right: String( String_ { parts: [ Raw( PartRaw { content: "}", span: Span { start: Position { line: 131, column: 9, }, end: Position { line: 131, column: 10, }, }, }, ), ], span: Span { start: Position { line: 131, column: 8, }, end: Position { line: 131, column: 11, }, }, }, ), }, ), span: Span { start: Position { line: 124, column: 19, }, end: Position { line: 131, column: 11, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailboxes", span: Span { start: Position { line: 133, column: 3, }, end: Position { line: 133, column: 12, }, }, }, ), ], to: Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "name", default: None, }, ], }, ), body: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 134, column: 5, }, end: Position { line: 134, column: 12, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 135, column: 7, }, end: Position { line: 135, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 135, column: 14, }, end: Position { line: 135, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 136, column: 9, }, end: Position { line: 136, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 136, column: 16, }, end: Position { line: 136, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "strMatching", span: Span { start: Position { line: 136, column: 22, }, end: Position { line: 136, column: 33, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "[^\"]+", span: Span { start: Position { line: 136, column: 36, }, end: Position { line: 136, column: 41, }, }, }, ), ], span: Span { start: Position { line: 136, column: 34, }, end: Position { line: 136, column: 43, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 137, column: 9, }, end: Position { line: 137, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Spam", span: Span { start: Position { line: 137, column: 20, }, end: Position { line: 137, column: 24, }, }, }, ), ], span: Span { start: Position { line: 137, column: 19, }, end: Position { line: 137, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 138, column: 9, }, end: Position { line: 138, column: 16, }, }, }, ), ], to: Identifier( Identifier { id: "name", span: Span { start: Position { line: 138, column: 19, }, end: Position { line: 138, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "readOnly", span: Span { start: Position { line: 139, column: 9, }, end: Position { line: 139, column: 17, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 139, column: 20, }, end: Position { line: 139, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 140, column: 9, }, end: Position { line: 140, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 140, column: 23, }, end: Position { line: 140, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 140, column: 27, }, end: Position { line: 140, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "The name of the mailbox.", span: Span { start: Position { line: 140, column: 34, }, end: Position { line: 140, column: 58, }, }, }, ), ], span: Span { start: Position { line: 140, column: 33, }, end: Position { line: 140, column: 59, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 135, column: 23, }, end: Position { line: 141, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "auto", span: Span { start: Position { line: 142, column: 7, }, end: Position { line: 142, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 142, column: 14, }, end: Position { line: 142, column: 22, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 143, column: 9, }, end: Position { line: 143, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 143, column: 16, }, end: Position { line: 143, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enum", span: Span { start: Position { line: 143, column: 22, }, end: Position { line: 143, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "no", span: Span { start: Position { line: 143, column: 30, }, end: Position { line: 143, column: 32, }, }, }, ), ], span: Span { start: Position { line: 143, column: 29, }, end: Position { line: 143, column: 33, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "create", span: Span { start: Position { line: 143, column: 35, }, end: Position { line: 143, column: 41, }, }, }, ), ], span: Span { start: Position { line: 143, column: 34, }, end: Position { line: 143, column: 42, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "subscribe", span: Span { start: Position { line: 143, column: 44, }, end: Position { line: 143, column: 53, }, }, }, ), ], span: Span { start: Position { line: 143, column: 43, }, end: Position { line: 143, column: 54, }, }, }, ), ], span: Span { start: Position { line: 143, column: 27, }, end: Position { line: 143, column: 56, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 144, column: 9, }, end: Position { line: 144, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "no", span: Span { start: Position { line: 144, column: 20, }, end: Position { line: 144, column: 22, }, }, }, ), ], span: Span { start: Position { line: 144, column: 19, }, end: Position { line: 144, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 145, column: 9, }, end: Position { line: 145, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "subscribe", span: Span { start: Position { line: 145, column: 20, }, end: Position { line: 145, column: 29, }, }, }, ), ], span: Span { start: Position { line: 145, column: 19, }, end: Position { line: 145, column: 30, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 146, column: 9, }, end: Position { line: 146, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 146, column: 23, }, end: Position { line: 146, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 146, column: 27, }, end: Position { line: 146, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Whether to automatically create or create and subscribe to the mailbox or not.", span: Span { start: Position { line: 146, column: 34, }, end: Position { line: 146, column: 112, }, }, }, ), ], span: Span { start: Position { line: 146, column: 33, }, end: Position { line: 146, column: 113, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 142, column: 23, }, end: Position { line: 147, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "specialUse", span: Span { start: Position { line: 148, column: 7, }, end: Position { line: 148, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 148, column: 20, }, end: Position { line: 148, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 149, column: 9, }, end: Position { line: 149, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 149, column: 16, }, end: Position { line: 149, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 149, column: 22, }, end: Position { line: 149, column: 28, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 149, column: 30, }, end: Position { line: 149, column: 35, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enum", span: Span { start: Position { line: 149, column: 36, }, end: Position { line: 149, column: 40, }, }, }, ), ], default: None, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "All", span: Span { start: Position { line: 149, column: 44, }, end: Position { line: 149, column: 47, }, }, }, ), ], span: Span { start: Position { line: 149, column: 43, }, end: Position { line: 149, column: 48, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Archive", span: Span { start: Position { line: 149, column: 50, }, end: Position { line: 149, column: 57, }, }, }, ), ], span: Span { start: Position { line: 149, column: 49, }, end: Position { line: 149, column: 58, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Drafts", span: Span { start: Position { line: 149, column: 60, }, end: Position { line: 149, column: 66, }, }, }, ), ], span: Span { start: Position { line: 149, column: 59, }, end: Position { line: 149, column: 67, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Flagged", span: Span { start: Position { line: 149, column: 69, }, end: Position { line: 149, column: 76, }, }, }, ), ], span: Span { start: Position { line: 149, column: 68, }, end: Position { line: 149, column: 77, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Junk", span: Span { start: Position { line: 149, column: 79, }, end: Position { line: 149, column: 83, }, }, }, ), ], span: Span { start: Position { line: 149, column: 78, }, end: Position { line: 149, column: 84, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Sent", span: Span { start: Position { line: 149, column: 86, }, end: Position { line: 149, column: 90, }, }, }, ), ], span: Span { start: Position { line: 149, column: 85, }, end: Position { line: 149, column: 91, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "Trash", span: Span { start: Position { line: 149, column: 93, }, end: Position { line: 149, column: 98, }, }, }, ), ], span: Span { start: Position { line: 149, column: 92, }, end: Position { line: 149, column: 99, }, }, }, ), ], span: Span { start: Position { line: 149, column: 41, }, end: Position { line: 149, column: 101, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 150, column: 9, }, end: Position { line: 150, column: 16, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 150, column: 19, }, end: Position { line: 150, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 151, column: 9, }, end: Position { line: 151, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Junk", span: Span { start: Position { line: 151, column: 20, }, end: Position { line: 151, column: 24, }, }, }, ), ], span: Span { start: Position { line: 151, column: 19, }, end: Position { line: 151, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 152, column: 9, }, end: Position { line: 152, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 152, column: 23, }, end: Position { line: 152, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 152, column: 27, }, end: Position { line: 152, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Null if no special use flag is set. Other than that every use flag mentioned in the RFC is valid.", span: Span { start: Position { line: 152, column: 34, }, end: Position { line: 152, column: 131, }, }, }, ), ], span: Span { start: Position { line: 152, column: 33, }, end: Position { line: 152, column: 132, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 148, column: 29, }, end: Position { line: 153, column: 8, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "autoexpunge", span: Span { start: Position { line: 154, column: 7, }, end: Position { line: 154, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 154, column: 21, }, end: Position { line: 154, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 155, column: 9, }, end: Position { line: 155, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 155, column: 16, }, end: Position { line: 155, column: 21, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 155, column: 22, }, end: Position { line: 155, column: 28, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 155, column: 29, }, end: Position { line: 155, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 155, column: 35, }, end: Position { line: 155, column: 38, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 156, column: 9, }, end: Position { line: 156, column: 16, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 156, column: 19, }, end: Position { line: 156, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 157, column: 9, }, end: Position { line: 157, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "60d", span: Span { start: Position { line: 157, column: 20, }, end: Position { line: 157, column: 23, }, }, }, ), ], span: Span { start: Position { line: 157, column: 19, }, end: Position { line: 157, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 158, column: 9, }, end: Position { line: 158, column: 20, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 158, column: 23, }, end: Position { line: 158, column: 26, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 158, column: 27, }, end: Position { line: 158, column: 32, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "To automatically remove all email from the mailbox which is older than the\nspecified time.\n", span: Span { start: Position { line: 159, column: 1, }, end: Position { line: 161, column: 9, }, }, }, ), ], span: Span { start: Position { line: 158, column: 33, }, end: Position { line: 161, column: 11, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 154, column: 30, }, end: Position { line: 162, column: 8, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 134, column: 15, }, end: Position { line: 163, column: 6, }, }, }, ), }, ), ], span: Span { start: Position { line: 133, column: 30, }, end: Position { line: 164, column: 4, }, }, }, ), span: Span { start: Position { line: 133, column: 15, }, end: Position { line: 164, column: 4, }, }, }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "imports", span: Span { start: Position { line: 167, column: 3, }, end: Position { line: 167, column: 10, }, }, }, ), ], to: List( List { elements: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkRemovedOptionModule", span: Span { start: Position { line: 168, column: 6, }, end: Position { line: 168, column: 27, }, }, }, ), arguments: [ List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 168, column: 31, }, end: Position { line: 168, column: 39, }, }, }, ), ], span: Span { start: Position { line: 168, column: 30, }, end: Position { line: 168, column: 40, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 168, column: 42, }, end: Position { line: 168, column: 50, }, }, }, ), ], span: Span { start: Position { line: 168, column: 41, }, end: Position { line: 168, column: 51, }, }, }, ), String( String_ { parts: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 168, column: 53, }, end: Position { line: 168, column: 60, }, }, }, ), ], span: Span { start: Position { line: 168, column: 52, }, end: Position { line: 168, column: 61, }, }, }, ), ], span: Span { start: Position { line: 168, column: 28, }, end: Position { line: 168, column: 63, }, }, }, ), String( String_ { parts: [], span: Span { start: Position { line: 168, column: 64, }, end: Position { line: 168, column: 66, }, }, }, ), ], }, ), ], span: Span { start: Position { line: 167, column: 13, }, end: Position { line: 169, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 171, column: 3, }, end: Position { line: 171, column: 10, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 171, column: 11, }, end: Position { line: 171, column: 19, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 171, column: 20, }, end: Position { line: 171, column: 28, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 172, column: 5, }, end: Position { line: 172, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 172, column: 14, }, end: Position { line: 172, column: 28, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 172, column: 30, }, end: Position { line: 172, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 172, column: 34, }, end: Position { line: 172, column: 39, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the dovecot 2.x POP3/IMAP server", span: Span { start: Position { line: 172, column: 41, }, end: Position { line: 172, column: 73, }, }, }, ), ], span: Span { start: Position { line: 172, column: 40, }, end: Position { line: 172, column: 74, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enablePop3", span: Span { start: Position { line: 174, column: 5, }, end: Position { line: 174, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 174, column: 18, }, end: Position { line: 174, column: 32, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 174, column: 34, }, end: Position { line: 174, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 174, column: 38, }, end: Position { line: 174, column: 43, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "starting the POP3 listener (when Dovecot is enabled).", span: Span { start: Position { line: 174, column: 45, }, end: Position { line: 174, column: 98, }, }, }, ), ], span: Span { start: Position { line: 174, column: 44, }, end: Position { line: 174, column: 99, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enableImap", span: Span { start: Position { line: 176, column: 5, }, end: Position { line: 176, column: 15, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 176, column: 18, }, end: Position { line: 176, column: 32, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 176, column: 34, }, end: Position { line: 176, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 176, column: 38, }, end: Position { line: 176, column: 43, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "starting the IMAP listener (when Dovecot is enabled).", span: Span { start: Position { line: 176, column: 45, }, end: Position { line: 176, column: 98, }, }, }, ), ], span: Span { start: Position { line: 176, column: 44, }, end: Position { line: 176, column: 99, }, }, }, ), ], }, ), ], }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 176, column: 106, }, end: Position { line: 176, column: 113, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 176, column: 116, }, end: Position { line: 176, column: 120, }, }, }, ), }, ), ], span: Span { start: Position { line: 176, column: 104, }, end: Position { line: 176, column: 123, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enableLmtp", span: Span { start: Position { line: 178, column: 5, }, end: Position { line: 178, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 178, column: 18, }, end: Position { line: 178, column: 32, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 178, column: 34, }, end: Position { line: 178, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 178, column: 38, }, end: Position { line: 178, column: 43, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "starting the LMTP listener (when Dovecot is enabled).", span: Span { start: Position { line: 178, column: 45, }, end: Position { line: 178, column: 98, }, }, }, ), ], span: Span { start: Position { line: 178, column: 44, }, end: Position { line: 178, column: 99, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "protocols", span: Span { start: Position { line: 180, column: 5, }, end: Position { line: 180, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 180, column: 17, }, end: Position { line: 180, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 181, column: 7, }, end: Position { line: 181, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 181, column: 14, }, end: Position { line: 181, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 181, column: 20, }, end: Position { line: 181, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 181, column: 27, }, end: Position { line: 181, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 181, column: 33, }, end: Position { line: 181, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 182, column: 7, }, end: Position { line: 182, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 182, column: 17, }, end: Position { line: 182, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 183, column: 7, }, end: Position { line: 183, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 183, column: 21, }, end: Position { line: 183, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 183, column: 25, }, end: Position { line: 183, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Additional listeners to start when Dovecot is enabled.", span: Span { start: Position { line: 183, column: 32, }, end: Position { line: 183, column: 86, }, }, }, ), ], span: Span { start: Position { line: 183, column: 31, }, end: Position { line: 183, column: 87, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 180, column: 26, }, end: Position { line: 184, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 186, column: 5, }, end: Position { line: 186, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 186, column: 12, }, end: Position { line: 186, column: 20, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 187, column: 7, }, end: Position { line: 187, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 187, column: 14, }, end: Position { line: 187, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 187, column: 20, }, end: Position { line: 187, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 188, column: 7, }, end: Position { line: 188, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 188, column: 18, }, end: Position { line: 188, column: 26, }, }, }, ), ], span: Span { start: Position { line: 188, column: 17, }, end: Position { line: 188, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 189, column: 7, }, end: Position { line: 189, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 189, column: 21, }, end: Position { line: 189, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 189, column: 25, }, end: Position { line: 189, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Dovecot user name.", span: Span { start: Position { line: 189, column: 32, }, end: Position { line: 189, column: 50, }, }, }, ), ], span: Span { start: Position { line: 189, column: 31, }, end: Position { line: 189, column: 51, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 186, column: 21, }, end: Position { line: 190, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 192, column: 5, }, end: Position { line: 192, column: 10, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 192, column: 13, }, end: Position { line: 192, column: 21, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 193, column: 7, }, end: Position { line: 193, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 193, column: 14, }, end: Position { line: 193, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 193, column: 20, }, end: Position { line: 193, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 194, column: 7, }, end: Position { line: 194, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 194, column: 18, }, end: Position { line: 194, column: 26, }, }, }, ), ], span: Span { start: Position { line: 194, column: 17, }, end: Position { line: 194, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 195, column: 7, }, end: Position { line: 195, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 195, column: 21, }, end: Position { line: 195, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 195, column: 25, }, end: Position { line: 195, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Dovecot group name.", span: Span { start: Position { line: 195, column: 32, }, end: Position { line: 195, column: 51, }, }, }, ), ], span: Span { start: Position { line: 195, column: 31, }, end: Position { line: 195, column: 52, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 192, column: 22, }, end: Position { line: 196, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "extraConfig", span: Span { start: Position { line: 198, column: 5, }, end: Position { line: 198, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 198, column: 19, }, end: Position { line: 198, column: 27, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 199, column: 7, }, end: Position { line: 199, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 199, column: 14, }, end: Position { line: 199, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "lines", span: Span { start: Position { line: 199, column: 20, }, end: Position { line: 199, column: 25, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 200, column: 7, }, end: Position { line: 200, column: 14, }, }, }, ), ], to: String( String_ { parts: [], span: Span { start: Position { line: 200, column: 17, }, end: Position { line: 200, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 201, column: 7, }, end: Position { line: 201, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "mail_debug = yes", span: Span { start: Position { line: 201, column: 18, }, end: Position { line: 201, column: 34, }, }, }, ), ], span: Span { start: Position { line: 201, column: 17, }, end: Position { line: 201, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 202, column: 7, }, end: Position { line: 202, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 202, column: 21, }, end: Position { line: 202, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 202, column: 25, }, end: Position { line: 202, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Additional entries to put verbatim into Dovecot's config file.", span: Span { start: Position { line: 202, column: 32, }, end: Position { line: 202, column: 94, }, }, }, ), ], span: Span { start: Position { line: 202, column: 31, }, end: Position { line: 202, column: 95, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 198, column: 28, }, end: Position { line: 203, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailPlugins", span: Span { start: Position { line: 205, column: 5, }, end: Position { line: 205, column: 16, }, }, }, ), ], to: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "plugins", span: Span { start: Position { line: 207, column: 9, }, end: Position { line: 207, column: 16, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "hint", }, ), body: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 207, column: 25, }, end: Position { line: 207, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "submodule", span: Span { start: Position { line: 207, column: 31, }, end: Position { line: 207, column: 40, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 208, column: 11, }, end: Position { line: 208, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 209, column: 13, }, end: Position { line: 209, column: 19, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 209, column: 22, }, end: Position { line: 209, column: 30, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 210, column: 15, }, end: Position { line: 210, column: 19, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 210, column: 22, }, end: Position { line: 210, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 210, column: 28, }, end: Position { line: 210, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 210, column: 35, }, end: Position { line: 210, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 210, column: 41, }, end: Position { line: 210, column: 44, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 211, column: 15, }, end: Position { line: 211, column: 22, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 211, column: 25, }, end: Position { line: 211, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 212, column: 15, }, end: Position { line: 212, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 212, column: 29, }, end: Position { line: 212, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 212, column: 33, }, end: Position { line: 212, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "mail plugins to enable as a list of strings to append to the ", span: Span { start: Position { line: 212, column: 40, }, end: Position { line: 212, column: 108, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "hint", span: Span { start: Position { line: 212, column: 103, }, end: Position { line: 212, column: 107, }, }, }, ), }, ), Raw( PartRaw { content: " `$mail_plugins` configuration variable", span: Span { start: Position { line: 212, column: 40, }, end: Position { line: 212, column: 147, }, }, }, ), ], span: Span { start: Position { line: 212, column: 39, }, end: Position { line: 212, column: 148, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 209, column: 31, }, end: Position { line: 213, column: 14, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 208, column: 21, }, end: Position { line: 214, column: 12, }, }, }, ), }, ), ], span: Span { start: Position { line: 207, column: 41, }, end: Position { line: 215, column: 10, }, }, }, ), ], }, ), span: Span { start: Position { line: 207, column: 19, }, end: Position { line: 215, column: 10, }, }, }, ), }, ), ], target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 217, column: 9, }, end: Position { line: 217, column: 17, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 218, column: 11, }, end: Position { line: 218, column: 15, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 218, column: 23, }, end: Position { line: 218, column: 28, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "submodule", span: Span { start: Position { line: 218, column: 30, }, end: Position { line: 218, column: 39, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 219, column: 13, }, end: Position { line: 219, column: 20, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "globally", span: Span { start: Position { line: 220, column: 15, }, end: Position { line: 220, column: 23, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 220, column: 26, }, end: Position { line: 220, column: 34, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 221, column: 17, }, end: Position { line: 221, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 221, column: 31, }, end: Position { line: 221, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 221, column: 35, }, end: Position { line: 221, column: 40, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Additional entries to add to the mail_plugins variable for all protocols", span: Span { start: Position { line: 221, column: 42, }, end: Position { line: 221, column: 114, }, }, }, ), ], span: Span { start: Position { line: 221, column: 41, }, end: Position { line: 221, column: 115, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 222, column: 17, }, end: Position { line: 222, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "plugins", span: Span { start: Position { line: 222, column: 24, }, end: Position { line: 222, column: 31, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "top-level", span: Span { start: Position { line: 222, column: 33, }, end: Position { line: 222, column: 42, }, }, }, ), ], span: Span { start: Position { line: 222, column: 32, }, end: Position { line: 222, column: 43, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 223, column: 17, }, end: Position { line: 223, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 223, column: 29, }, end: Position { line: 223, column: 35, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "virtual", span: Span { start: Position { line: 223, column: 41, }, end: Position { line: 223, column: 48, }, }, }, ), ], span: Span { start: Position { line: 223, column: 40, }, end: Position { line: 223, column: 49, }, }, }, ), ], span: Span { start: Position { line: 223, column: 38, }, end: Position { line: 223, column: 51, }, }, }, ), }, ), ], span: Span { start: Position { line: 223, column: 27, }, end: Position { line: 223, column: 54, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 224, column: 17, }, end: Position { line: 224, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 224, column: 29, }, end: Position { line: 224, column: 35, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 224, column: 38, }, end: Position { line: 224, column: 40, }, }, }, ), }, ), ], span: Span { start: Position { line: 224, column: 27, }, end: Position { line: 224, column: 43, }, }, }, ), }, ), ], span: Span { start: Position { line: 220, column: 35, }, end: Position { line: 225, column: 16, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "perProtocol", span: Span { start: Position { line: 226, column: 15, }, end: Position { line: 226, column: 26, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 226, column: 29, }, end: Position { line: 226, column: 37, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 227, column: 17, }, end: Position { line: 227, column: 28, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 227, column: 31, }, end: Position { line: 227, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 227, column: 35, }, end: Position { line: 227, column: 40, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Additional entries to add to the mail_plugins variable, per protocol", span: Span { start: Position { line: 227, column: 42, }, end: Position { line: 227, column: 110, }, }, }, ), ], span: Span { start: Position { line: 227, column: 41, }, end: Position { line: 227, column: 111, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 228, column: 17, }, end: Position { line: 228, column: 21, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrsOf", span: Span { start: Position { line: 228, column: 24, }, end: Position { line: 228, column: 31, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "plugins", span: Span { start: Position { line: 228, column: 33, }, end: Position { line: 228, column: 40, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "corresponding per-protocol", span: Span { start: Position { line: 228, column: 42, }, end: Position { line: 228, column: 68, }, }, }, ), ], span: Span { start: Position { line: 228, column: 41, }, end: Position { line: 228, column: 69, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 229, column: 17, }, end: Position { line: 229, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 229, column: 27, }, end: Position { line: 229, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 230, column: 17, }, end: Position { line: 230, column: 24, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 230, column: 29, }, end: Position { line: 230, column: 33, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "imap_acl", span: Span { start: Position { line: 230, column: 39, }, end: Position { line: 230, column: 47, }, }, }, ), ], span: Span { start: Position { line: 230, column: 38, }, end: Position { line: 230, column: 48, }, }, }, ), ], span: Span { start: Position { line: 230, column: 36, }, end: Position { line: 230, column: 50, }, }, }, ), }, ), ], span: Span { start: Position { line: 230, column: 27, }, end: Position { line: 230, column: 53, }, }, }, ), }, ), ], span: Span { start: Position { line: 226, column: 38, }, end: Position { line: 231, column: 16, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 219, column: 23, }, end: Position { line: 232, column: 14, }, }, }, ), }, ), ], span: Span { start: Position { line: 218, column: 40, }, end: Position { line: 233, column: 12, }, }, }, ), ], }, ), span: Span { start: Position { line: 218, column: 18, }, end: Position { line: 233, column: 12, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 234, column: 11, }, end: Position { line: 234, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 234, column: 25, }, end: Position { line: 234, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 234, column: 29, }, end: Position { line: 234, column: 34, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Additional entries to add to the mail_plugins variable, globally and per protocol", span: Span { start: Position { line: 234, column: 36, }, end: Position { line: 234, column: 117, }, }, }, ), ], span: Span { start: Position { line: 234, column: 35, }, end: Position { line: 234, column: 118, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 235, column: 11, }, end: Position { line: 235, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "globally", span: Span { start: Position { line: 236, column: 13, }, end: Position { line: 236, column: 21, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 236, column: 22, }, end: Position { line: 236, column: 28, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "acl", span: Span { start: Position { line: 236, column: 34, }, end: Position { line: 236, column: 37, }, }, }, ), ], span: Span { start: Position { line: 236, column: 33, }, end: Position { line: 236, column: 38, }, }, }, ), ], span: Span { start: Position { line: 236, column: 31, }, end: Position { line: 236, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "perProtocol", span: Span { start: Position { line: 237, column: 13, }, end: Position { line: 237, column: 24, }, }, }, ), Raw( PartRaw { content: "imap", span: Span { start: Position { line: 237, column: 25, }, end: Position { line: 237, column: 29, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 237, column: 30, }, end: Position { line: 237, column: 36, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "imap_acl", span: Span { start: Position { line: 237, column: 42, }, end: Position { line: 237, column: 50, }, }, }, ), ], span: Span { start: Position { line: 237, column: 41, }, end: Position { line: 237, column: 51, }, }, }, ), ], span: Span { start: Position { line: 237, column: 39, }, end: Position { line: 237, column: 53, }, }, }, ), }, ), ], span: Span { start: Position { line: 235, column: 21, }, end: Position { line: 238, column: 12, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 239, column: 11, }, end: Position { line: 239, column: 18, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "globally", span: Span { start: Position { line: 239, column: 23, }, end: Position { line: 239, column: 31, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 239, column: 32, }, end: Position { line: 239, column: 38, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 239, column: 41, }, end: Position { line: 239, column: 43, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "perProtocol", span: Span { start: Position { line: 239, column: 45, }, end: Position { line: 239, column: 56, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 239, column: 59, }, end: Position { line: 239, column: 61, }, }, }, ), }, ), ], span: Span { start: Position { line: 239, column: 21, }, end: Position { line: 239, column: 64, }, }, }, ), }, ), ], span: Span { start: Position { line: 217, column: 18, }, end: Position { line: 240, column: 10, }, }, }, ), ], }, ), span: Span { start: Position { line: 206, column: 7, }, end: Position { line: 240, column: 10, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "configFile", span: Span { start: Position { line: 242, column: 5, }, end: Position { line: 242, column: 15, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 242, column: 18, }, end: Position { line: 242, column: 26, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 243, column: 7, }, end: Position { line: 243, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 243, column: 14, }, end: Position { line: 243, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 243, column: 20, }, end: Position { line: 243, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 243, column: 27, }, end: Position { line: 243, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 243, column: 33, }, end: Position { line: 243, column: 37, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 244, column: 7, }, end: Position { line: 244, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 244, column: 17, }, end: Position { line: 244, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 245, column: 7, }, end: Position { line: 245, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 245, column: 21, }, end: Position { line: 245, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 245, column: 25, }, end: Position { line: 245, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Config file used for the whole dovecot configuration.", span: Span { start: Position { line: 245, column: 32, }, end: Position { line: 245, column: 85, }, }, }, ), ], span: Span { start: Position { line: 245, column: 31, }, end: Position { line: 245, column: 86, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "apply", span: Span { start: Position { line: 246, column: 7, }, end: Position { line: 246, column: 12, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "v", }, ), body: IfThenElse( IfThenElse { predicate: BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "v", span: Span { start: Position { line: 246, column: 21, }, end: Position { line: 246, column: 22, }, }, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 246, column: 26, }, end: Position { line: 246, column: 30, }, }, }, ), }, ), then: Identifier( Identifier { id: "v", span: Span { start: Position { line: 246, column: 36, }, end: Position { line: 246, column: 37, }, }, }, ), else_: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 246, column: 43, }, end: Position { line: 246, column: 47, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "writeText", span: Span { start: Position { line: 246, column: 48, }, end: Position { line: 246, column: 57, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "dovecot.conf", span: Span { start: Position { line: 246, column: 59, }, end: Position { line: 246, column: 71, }, }, }, ), ], span: Span { start: Position { line: 246, column: 58, }, end: Position { line: 246, column: 72, }, }, }, ), Identifier( Identifier { id: "dovecotConf", span: Span { start: Position { line: 246, column: 73, }, end: Position { line: 246, column: 84, }, }, }, ), ], }, ), span: Span { start: Position { line: 246, column: 18, }, end: Position { line: 246, column: 84, }, }, }, ), span: Span { start: Position { line: 246, column: 15, }, end: Position { line: 246, column: 84, }, }, }, ), }, ), ], span: Span { start: Position { line: 242, column: 27, }, end: Position { line: 247, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailLocation", span: Span { start: Position { line: 249, column: 5, }, end: Position { line: 249, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 249, column: 20, }, end: Position { line: 249, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 250, column: 7, }, end: Position { line: 250, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 250, column: 14, }, end: Position { line: 250, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 250, column: 20, }, end: Position { line: 250, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 251, column: 7, }, end: Position { line: 251, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "maildir:/var/spool/mail/%u", span: Span { start: Position { line: 251, column: 18, }, end: Position { line: 251, column: 44, }, }, }, ), ], span: Span { start: Position { line: 251, column: 17, }, end: Position { line: 251, column: 45, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 252, column: 7, }, end: Position { line: 252, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "maildir:~/mail:INBOX=/var/spool/mail/%u", span: Span { start: Position { line: 252, column: 18, }, end: Position { line: 252, column: 57, }, }, }, ), ], span: Span { start: Position { line: 252, column: 17, }, end: Position { line: 252, column: 58, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 253, column: 7, }, end: Position { line: 253, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 253, column: 21, }, end: Position { line: 253, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 253, column: 25, }, end: Position { line: 253, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Location that dovecot will use for mail folders. Dovecot mail_location option.\n", span: Span { start: Position { line: 254, column: 1, }, end: Position { line: 255, column: 7, }, }, }, ), ], span: Span { start: Position { line: 253, column: 31, }, end: Position { line: 255, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 249, column: 29, }, end: Position { line: 256, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 258, column: 5, }, end: Position { line: 258, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 258, column: 16, }, end: Position { line: 258, column: 24, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 259, column: 7, }, end: Position { line: 259, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 259, column: 14, }, end: Position { line: 259, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 259, column: 20, }, end: Position { line: 259, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 259, column: 27, }, end: Position { line: 259, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 259, column: 33, }, end: Position { line: 259, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 260, column: 7, }, end: Position { line: 260, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 260, column: 17, }, end: Position { line: 260, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 261, column: 7, }, end: Position { line: 261, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 261, column: 21, }, end: Position { line: 261, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 261, column: 25, }, end: Position { line: 261, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Default user to store mail for virtual users.", span: Span { start: Position { line: 261, column: 32, }, end: Position { line: 261, column: 77, }, }, }, ), ], span: Span { start: Position { line: 261, column: 31, }, end: Position { line: 261, column: 78, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 258, column: 25, }, end: Position { line: 262, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 264, column: 5, }, end: Position { line: 264, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 264, column: 17, }, end: Position { line: 264, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 265, column: 7, }, end: Position { line: 265, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 265, column: 14, }, end: Position { line: 265, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 265, column: 20, }, end: Position { line: 265, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 265, column: 27, }, end: Position { line: 265, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 265, column: 33, }, end: Position { line: 265, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 266, column: 7, }, end: Position { line: 266, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 266, column: 17, }, end: Position { line: 266, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 267, column: 7, }, end: Position { line: 267, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 267, column: 21, }, end: Position { line: 267, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 267, column: 25, }, end: Position { line: 267, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Default group to store mail for virtual users.", span: Span { start: Position { line: 267, column: 32, }, end: Position { line: 267, column: 78, }, }, }, ), ], span: Span { start: Position { line: 267, column: 31, }, end: Position { line: 267, column: 79, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 264, column: 26, }, end: Position { line: 268, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "createMailUser", span: Span { start: Position { line: 270, column: 5, }, end: Position { line: 270, column: 19, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 270, column: 22, }, end: Position { line: 270, column: 36, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 270, column: 38, }, end: Position { line: 270, column: 41, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 270, column: 42, }, end: Position { line: 270, column: 47, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "automatically creating the user\n given in {option}`services.dovecot.user` and the group\n given in {option}`services.dovecot.group`.", span: Span { start: Position { line: 270, column: 50, }, end: Position { line: 272, column: 49, }, }, }, ), ], span: Span { start: Position { line: 270, column: 48, }, end: Position { line: 272, column: 51, }, }, }, ), ], }, ), ], }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 272, column: 58, }, end: Position { line: 272, column: 65, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 272, column: 68, }, end: Position { line: 272, column: 72, }, }, }, ), }, ), ], span: Span { start: Position { line: 272, column: 56, }, end: Position { line: 272, column: 75, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "modules", span: Span { start: Position { line: 274, column: 5, }, end: Position { line: 274, column: 12, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 274, column: 15, }, end: Position { line: 274, column: 23, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 275, column: 7, }, end: Position { line: 275, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 275, column: 14, }, end: Position { line: 275, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 275, column: 20, }, end: Position { line: 275, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 275, column: 27, }, end: Position { line: 275, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "package", span: Span { start: Position { line: 275, column: 33, }, end: Position { line: 275, column: 40, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 276, column: 7, }, end: Position { line: 276, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 276, column: 17, }, end: Position { line: 276, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 277, column: 7, }, end: Position { line: 277, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "literalExpression", span: Span { start: Position { line: 277, column: 17, }, end: Position { line: 277, column: 34, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "[ pkgs.dovecot_pigeonhole ]", span: Span { start: Position { line: 277, column: 36, }, end: Position { line: 277, column: 63, }, }, }, ), ], span: Span { start: Position { line: 277, column: 35, }, end: Position { line: 277, column: 64, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 278, column: 7, }, end: Position { line: 278, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 278, column: 21, }, end: Position { line: 278, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 278, column: 25, }, end: Position { line: 278, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Symlinks the contents of lib/dovecot of every given package into\n/etc/dovecot/modules. This will make the given modules available\nif a dovecot package with the module_dir patch applied is being used.\n", span: Span { start: Position { line: 279, column: 1, }, end: Position { line: 282, column: 7, }, }, }, ), ], span: Span { start: Position { line: 278, column: 31, }, end: Position { line: 282, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 274, column: 24, }, end: Position { line: 283, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "sslCACert", span: Span { start: Position { line: 285, column: 5, }, end: Position { line: 285, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 285, column: 17, }, end: Position { line: 285, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 286, column: 7, }, end: Position { line: 286, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 286, column: 14, }, end: Position { line: 286, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 286, column: 20, }, end: Position { line: 286, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 286, column: 27, }, end: Position { line: 286, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 286, column: 33, }, end: Position { line: 286, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 287, column: 7, }, end: Position { line: 287, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 287, column: 17, }, end: Position { line: 287, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 288, column: 7, }, end: Position { line: 288, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 288, column: 21, }, end: Position { line: 288, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 288, column: 25, }, end: Position { line: 288, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to the server's CA certificate key.", span: Span { start: Position { line: 288, column: 32, }, end: Position { line: 288, column: 72, }, }, }, ), ], span: Span { start: Position { line: 288, column: 31, }, end: Position { line: 288, column: 73, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 285, column: 26, }, end: Position { line: 289, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 291, column: 5, }, end: Position { line: 291, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 291, column: 21, }, end: Position { line: 291, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 292, column: 7, }, end: Position { line: 292, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 292, column: 14, }, end: Position { line: 292, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 292, column: 20, }, end: Position { line: 292, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 292, column: 27, }, end: Position { line: 292, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 292, column: 33, }, end: Position { line: 292, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 293, column: 7, }, end: Position { line: 293, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 293, column: 17, }, end: Position { line: 293, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 294, column: 7, }, end: Position { line: 294, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 294, column: 21, }, end: Position { line: 294, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 294, column: 25, }, end: Position { line: 294, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to the server's public key.", span: Span { start: Position { line: 294, column: 32, }, end: Position { line: 294, column: 64, }, }, }, ), ], span: Span { start: Position { line: 294, column: 31, }, end: Position { line: 294, column: 65, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 291, column: 30, }, end: Position { line: 295, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "sslServerKey", span: Span { start: Position { line: 297, column: 5, }, end: Position { line: 297, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 297, column: 20, }, end: Position { line: 297, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 298, column: 7, }, end: Position { line: 298, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 298, column: 14, }, end: Position { line: 298, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nullOr", span: Span { start: Position { line: 298, column: 20, }, end: Position { line: 298, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 298, column: 27, }, end: Position { line: 298, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 298, column: 33, }, end: Position { line: 298, column: 36, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 299, column: 7, }, end: Position { line: 299, column: 14, }, }, }, ), ], to: Identifier( Identifier { id: "null", span: Span { start: Position { line: 299, column: 17, }, end: Position { line: 299, column: 21, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 300, column: 7, }, end: Position { line: 300, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 300, column: 21, }, end: Position { line: 300, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 300, column: 25, }, end: Position { line: 300, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Path to the server's private key.", span: Span { start: Position { line: 300, column: 32, }, end: Position { line: 300, column: 65, }, }, }, ), ], span: Span { start: Position { line: 300, column: 31, }, end: Position { line: 300, column: 66, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 297, column: 29, }, end: Position { line: 301, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enablePAM", span: Span { start: Position { line: 303, column: 5, }, end: Position { line: 303, column: 14, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 303, column: 17, }, end: Position { line: 303, column: 31, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 303, column: 33, }, end: Position { line: 303, column: 36, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 303, column: 37, }, end: Position { line: 303, column: 42, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "creating a own Dovecot PAM service and configure PAM user logins.", span: Span { start: Position { line: 303, column: 44, }, end: Position { line: 303, column: 109, }, }, }, ), ], span: Span { start: Position { line: 303, column: 43, }, end: Position { line: 303, column: 110, }, }, }, ), ], }, ), ], }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 303, column: 117, }, end: Position { line: 303, column: 124, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 303, column: 127, }, end: Position { line: 303, column: 131, }, }, }, ), }, ), ], span: Span { start: Position { line: 303, column: 115, }, end: Position { line: 303, column: 134, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enableDHE", span: Span { start: Position { line: 305, column: 5, }, end: Position { line: 305, column: 14, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 305, column: 17, }, end: Position { line: 305, column: 31, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 305, column: 33, }, end: Position { line: 305, column: 36, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 305, column: 37, }, end: Position { line: 305, column: 42, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "enable ssl_dh and generation of primes for the key exchange.", span: Span { start: Position { line: 305, column: 44, }, end: Position { line: 305, column: 104, }, }, }, ), ], span: Span { start: Position { line: 305, column: 43, }, end: Position { line: 305, column: 105, }, }, }, ), ], }, ), ], }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 305, column: 112, }, end: Position { line: 305, column: 119, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 305, column: 122, }, end: Position { line: 305, column: 126, }, }, }, ), }, ), ], span: Span { start: Position { line: 305, column: 110, }, end: Position { line: 305, column: 129, }, }, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 307, column: 5, }, end: Position { line: 307, column: 17, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 307, column: 20, }, end: Position { line: 307, column: 28, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 308, column: 7, }, end: Position { line: 308, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 308, column: 14, }, end: Position { line: 308, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "attrsOf", span: Span { start: Position { line: 308, column: 20, }, end: Position { line: 308, column: 27, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 308, column: 28, }, end: Position { line: 308, column: 33, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 308, column: 34, }, end: Position { line: 308, column: 38, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 309, column: 7, }, end: Position { line: 309, column: 14, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 309, column: 17, }, end: Position { line: 309, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 310, column: 7, }, end: Position { line: 310, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 310, column: 21, }, end: Position { line: 310, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 310, column: 25, }, end: Position { line: 310, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Sieve scripts to be executed. Key is a sequence, e.g. 'before2', 'after' etc.", span: Span { start: Position { line: 310, column: 32, }, end: Position { line: 310, column: 109, }, }, }, ), ], span: Span { start: Position { line: 310, column: 31, }, end: Position { line: 310, column: 110, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 307, column: 29, }, end: Position { line: 311, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "showPAMFailure", span: Span { start: Position { line: 313, column: 5, }, end: Position { line: 313, column: 19, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 313, column: 22, }, end: Position { line: 313, column: 36, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 313, column: 38, }, end: Position { line: 313, column: 41, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 313, column: 42, }, end: Position { line: 313, column: 47, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "showing the PAM failure message on authentication error (useful for OTPW).", span: Span { start: Position { line: 313, column: 49, }, end: Position { line: 313, column: 123, }, }, }, ), ], span: Span { start: Position { line: 313, column: 48, }, end: Position { line: 313, column: 124, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "mailboxes", span: Span { start: Position { line: 315, column: 5, }, end: Position { line: 315, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 315, column: 17, }, end: Position { line: 315, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 316, column: 7, }, end: Position { line: 316, column: 11, }, }, }, ), ], to: With( With { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 316, column: 19, }, end: Position { line: 316, column: 24, }, }, }, ), target: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "coercedTo", span: Span { start: Position { line: 316, column: 26, }, end: Position { line: 316, column: 35, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listOf", span: Span { start: Position { line: 317, column: 10, }, end: Position { line: 317, column: 16, }, }, }, ), arguments: [ Identifier( Identifier { id: "unspecified", span: Span { start: Position { line: 317, column: 17, }, end: Position { line: 317, column: 28, }, }, }, ), ], }, ), Function( Function { head: Simple( FunctionHeadSimple { identifier: "list", }, ), body: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "listToAttrs", span: Span { start: Position { line: 318, column: 16, }, end: Position { line: 318, column: 27, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "map", span: Span { start: Position { line: 318, column: 29, }, end: Position { line: 318, column: 32, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "entry", }, ), body: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 318, column: 43, }, end: Position { line: 318, column: 47, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "entry", span: Span { start: Position { line: 318, column: 50, }, end: Position { line: 318, column: 55, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 318, column: 56, }, end: Position { line: 318, column: 60, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "value", span: Span { start: Position { line: 318, column: 62, }, end: Position { line: 318, column: 67, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "removeAttrs", span: Span { start: Position { line: 318, column: 70, }, end: Position { line: 318, column: 81, }, }, }, ), arguments: [ Identifier( Identifier { id: "entry", span: Span { start: Position { line: 318, column: 82, }, end: Position { line: 318, column: 87, }, }, }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 318, column: 90, }, end: Position { line: 318, column: 94, }, }, }, ), ], span: Span { start: Position { line: 318, column: 89, }, end: Position { line: 318, column: 95, }, }, }, ), ], span: Span { start: Position { line: 318, column: 88, }, end: Position { line: 318, column: 96, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 318, column: 41, }, end: Position { line: 318, column: 99, }, }, }, ), span: Span { start: Position { line: 318, column: 34, }, end: Position { line: 318, column: 99, }, }, }, ), Identifier( Identifier { id: "list", span: Span { start: Position { line: 318, column: 101, }, end: Position { line: 318, column: 105, }, }, }, ), ], }, ), ], }, ), span: Span { start: Position { line: 318, column: 10, }, end: Position { line: 318, column: 106, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "attrsOf", span: Span { start: Position { line: 319, column: 10, }, end: Position { line: 319, column: 17, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "submodule", span: Span { start: Position { line: 319, column: 19, }, end: Position { line: 319, column: 28, }, }, }, ), arguments: [ Identifier( Identifier { id: "mailboxes", span: Span { start: Position { line: 319, column: 29, }, end: Position { line: 319, column: 38, }, }, }, ), ], }, ), ], }, ), ], }, ), span: Span { start: Position { line: 316, column: 14, }, end: Position { line: 319, column: 40, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 320, column: 7, }, end: Position { line: 320, column: 14, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 320, column: 17, }, end: Position { line: 320, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 321, column: 7, }, end: Position { line: 321, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "literalExpression", span: Span { start: Position { line: 321, column: 17, }, end: Position { line: 321, column: 34, }, }, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "{\n Spam = { specialUse = \"Junk\"; auto = \"create\"; };\n}\n", span: Span { start: Position { line: 322, column: 1, }, end: Position { line: 325, column: 7, }, }, }, ), ], span: Span { start: Position { line: 321, column: 35, }, end: Position { line: 325, column: 9, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 326, column: 7, }, end: Position { line: 326, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 326, column: 21, }, end: Position { line: 326, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 326, column: 25, }, end: Position { line: 326, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Configure mailboxes and auto create or subscribe them.", span: Span { start: Position { line: 326, column: 32, }, end: Position { line: 326, column: 86, }, }, }, ), ], span: Span { start: Position { line: 326, column: 31, }, end: Position { line: 326, column: 87, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 315, column: 26, }, end: Position { line: 327, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enableQuota", span: Span { start: Position { line: 329, column: 5, }, end: Position { line: 329, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkEnableOption", span: Span { start: Position { line: 329, column: 19, }, end: Position { line: 329, column: 33, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 329, column: 35, }, end: Position { line: 329, column: 38, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 329, column: 39, }, end: Position { line: 329, column: 44, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "the dovecot quota service.", span: Span { start: Position { line: 329, column: 46, }, end: Position { line: 329, column: 72, }, }, }, ), ], span: Span { start: Position { line: 329, column: 45, }, end: Position { line: 329, column: 73, }, }, }, ), ], }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "quotaPort", span: Span { start: Position { line: 331, column: 5, }, end: Position { line: 331, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 331, column: 17, }, end: Position { line: 331, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 332, column: 7, }, end: Position { line: 332, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 332, column: 14, }, end: Position { line: 332, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 332, column: 20, }, end: Position { line: 332, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 333, column: 7, }, end: Position { line: 333, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "12340", span: Span { start: Position { line: 333, column: 18, }, end: Position { line: 333, column: 23, }, }, }, ), ], span: Span { start: Position { line: 333, column: 17, }, end: Position { line: 333, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 334, column: 7, }, end: Position { line: 334, column: 18, }, }, }, ), ], to: 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: "mdDoc", span: Span { start: Position { line: 334, column: 25, }, end: Position { line: 334, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "The Port the dovecot quota service binds to.\nIf using postfix, add check_policy_service inet:localhost:12340 to your smtpd_recipient_restrictions in your postfix config.\n", span: Span { start: Position { line: 335, column: 1, }, end: Position { line: 337, column: 7, }, }, }, ), ], span: Span { start: Position { line: 334, column: 31, }, end: Position { line: 337, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 331, column: 26, }, end: Position { line: 338, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "quotaGlobalPerUser", span: Span { start: Position { line: 339, column: 5, }, end: Position { line: 339, column: 23, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 339, column: 26, }, end: Position { line: 339, column: 34, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 340, column: 7, }, end: Position { line: 340, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 340, column: 14, }, end: Position { line: 340, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 340, column: 20, }, end: Position { line: 340, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 341, column: 7, }, end: Position { line: 341, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "100G", span: Span { start: Position { line: 341, column: 18, }, end: Position { line: 341, column: 22, }, }, }, ), ], span: Span { start: Position { line: 341, column: 17, }, end: Position { line: 341, column: 23, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "example", span: Span { start: Position { line: 342, column: 7, }, end: Position { line: 342, column: 14, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "10G", span: Span { start: Position { line: 342, column: 18, }, end: Position { line: 342, column: 21, }, }, }, ), ], span: Span { start: Position { line: 342, column: 17, }, end: Position { line: 342, column: 22, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 343, column: 7, }, end: Position { line: 343, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 343, column: 21, }, end: Position { line: 343, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 343, column: 25, }, end: Position { line: 343, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "Quota limit for the user in bytes. Supports suffixes b, k, M, G, T and %.", span: Span { start: Position { line: 343, column: 32, }, end: Position { line: 343, column: 105, }, }, }, ), ], span: Span { start: Position { line: 343, column: 31, }, end: Position { line: 343, column: 106, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 339, column: 35, }, end: Position { line: 344, column: 6, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 171, column: 31, }, end: Position { line: 346, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "config", span: Span { start: Position { line: 349, column: 3, }, end: Position { line: 349, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 349, column: 12, }, end: Position { line: 349, column: 16, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 349, column: 17, }, end: Position { line: 349, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 349, column: 21, }, end: Position { line: 349, column: 27, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "security", span: Span { start: Position { line: 350, column: 5, }, end: Position { line: 350, column: 13, }, }, }, ), Raw( PartRaw { content: "pam", span: Span { start: Position { line: 350, column: 14, }, end: Position { line: 350, column: 17, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 350, column: 18, }, end: Position { line: 350, column: 26, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 350, column: 27, }, end: Position { line: 350, column: 35, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 350, column: 38, }, end: Position { line: 350, column: 42, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 350, column: 43, }, end: Position { line: 350, column: 46, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enablePAM", span: Span { start: Position { line: 350, column: 47, }, end: Position { line: 350, column: 56, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 350, column: 57, }, end: Position { line: 350, column: 59, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "security", span: Span { start: Position { line: 352, column: 5, }, end: Position { line: 352, column: 13, }, }, }, ), Raw( PartRaw { content: "dhparams", span: Span { start: Position { line: 352, column: 14, }, end: Position { line: 352, column: 22, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 352, column: 25, }, end: Position { line: 352, column: 29, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 352, column: 31, }, end: Position { line: 352, column: 34, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 352, column: 35, }, end: Position { line: 352, column: 48, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 352, column: 52, }, end: Position { line: 352, column: 56, }, }, }, ), }, ), operator: LogicalAnd, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 352, column: 60, }, end: Position { line: 352, column: 63, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableDHE", span: Span { start: Position { line: 352, column: 64, }, end: Position { line: 352, column: 73, }, }, }, ), ], default: None, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "enable", span: Span { start: Position { line: 353, column: 7, }, end: Position { line: 353, column: 13, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 353, column: 16, }, end: Position { line: 353, column: 20, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "params", span: Span { start: Position { line: 354, column: 7, }, end: Position { line: 354, column: 13, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 354, column: 14, }, end: Position { line: 354, column: 22, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 354, column: 25, }, end: Position { line: 354, column: 27, }, }, }, ), }, ), ], span: Span { start: Position { line: 352, column: 75, }, end: Position { line: 355, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 356, column: 5, }, end: Position { line: 356, column: 13, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 356, column: 14, }, end: Position { line: 356, column: 22, }, }, }, ), Raw( PartRaw { content: "protocols", span: Span { start: Position { line: 356, column: 23, }, end: Position { line: 356, column: 32, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optional", span: Span { start: Position { line: 357, column: 7, }, end: Position { line: 357, column: 15, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 357, column: 16, }, end: Position { line: 357, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableImap", span: Span { start: Position { line: 357, column: 20, }, end: Position { line: 357, column: 30, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "imap", span: Span { start: Position { line: 357, column: 32, }, end: Position { line: 357, column: 36, }, }, }, ), ], span: Span { start: Position { line: 357, column: 31, }, end: Position { line: 357, column: 37, }, }, }, ), ], }, ), operator: Concatenation, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optional", span: Span { start: Position { line: 358, column: 10, }, end: Position { line: 358, column: 18, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 358, column: 19, }, end: Position { line: 358, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enablePop3", span: Span { start: Position { line: 358, column: 23, }, end: Position { line: 358, column: 33, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "pop3", span: Span { start: Position { line: 358, column: 35, }, end: Position { line: 358, column: 39, }, }, }, ), ], span: Span { start: Position { line: 358, column: 34, }, end: Position { line: 358, column: 40, }, }, }, ), ], }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optional", span: Span { start: Position { line: 359, column: 10, }, end: Position { line: 359, column: 18, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 359, column: 19, }, end: Position { line: 359, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableLmtp", span: Span { start: Position { line: 359, column: 23, }, end: Position { line: 359, column: 33, }, }, }, ), ], default: None, }, ), String( String_ { parts: [ Raw( PartRaw { content: "lmtp", span: Span { start: Position { line: 359, column: 35, }, end: Position { line: 359, column: 39, }, }, }, ), ], span: Span { start: Position { line: 359, column: 34, }, end: Position { line: 359, column: 40, }, }, }, ), ], }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 361, column: 5, }, end: Position { line: 361, column: 13, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 361, column: 14, }, end: Position { line: 361, column: 22, }, }, }, ), Raw( PartRaw { content: "mailPlugins", span: Span { start: Position { line: 361, column: 23, }, end: Position { line: 361, column: 34, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 361, column: 37, }, end: Position { line: 361, column: 41, }, }, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 361, column: 42, }, end: Position { line: 361, column: 45, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enableQuota", span: Span { start: Position { line: 361, column: 46, }, end: Position { line: 361, column: 57, }, }, }, ), ], default: None, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "globally", span: Span { start: Position { line: 362, column: 7, }, end: Position { line: 362, column: 15, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 362, column: 16, }, end: Position { line: 362, column: 22, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "quota", span: Span { start: Position { line: 362, column: 28, }, end: Position { line: 362, column: 33, }, }, }, ), ], span: Span { start: Position { line: 362, column: 27, }, end: Position { line: 362, column: 34, }, }, }, ), ], span: Span { start: Position { line: 362, column: 25, }, end: Position { line: 362, column: 36, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "perProtocol", span: Span { start: Position { line: 363, column: 7, }, end: Position { line: 363, column: 18, }, }, }, ), Raw( PartRaw { content: "imap", span: Span { start: Position { line: 363, column: 19, }, end: Position { line: 363, column: 23, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 363, column: 24, }, end: Position { line: 363, column: 30, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "imap_quota", span: Span { start: Position { line: 363, column: 36, }, end: Position { line: 363, column: 46, }, }, }, ), ], span: Span { start: Position { line: 363, column: 35, }, end: Position { line: 363, column: 47, }, }, }, ), ], span: Span { start: Position { line: 363, column: 33, }, end: Position { line: 363, column: 49, }, }, }, ), }, ), ], span: Span { start: Position { line: 361, column: 58, }, end: Position { line: 364, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 366, column: 5, }, end: Position { line: 366, column: 10, }, }, }, ), Raw( PartRaw { content: "users", span: Span { start: Position { line: 366, column: 11, }, end: Position { line: 366, column: 16, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovenull", span: Span { start: Position { line: 367, column: 7, }, end: Position { line: 367, column: 15, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "uid", span: Span { start: Position { line: 369, column: 11, }, end: Position { line: 369, column: 14, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 369, column: 17, }, end: Position { line: 369, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 369, column: 24, }, end: Position { line: 369, column: 27, }, }, }, ), Raw( PartRaw { content: "uids", span: Span { start: Position { line: 369, column: 28, }, end: Position { line: 369, column: 32, }, }, }, ), Raw( PartRaw { content: "dovenull2", span: Span { start: Position { line: 369, column: 33, }, end: Position { line: 369, column: 42, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 370, column: 11, }, end: Position { line: 370, column: 22, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Dovecot user for untrusted logins", span: Span { start: Position { line: 370, column: 26, }, end: Position { line: 370, column: 59, }, }, }, ), ], span: Span { start: Position { line: 370, column: 25, }, end: Position { line: 370, column: 60, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 371, column: 11, }, end: Position { line: 371, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovenull", span: Span { start: Position { line: 371, column: 20, }, end: Position { line: 371, column: 28, }, }, }, ), ], span: Span { start: Position { line: 371, column: 19, }, end: Position { line: 371, column: 29, }, }, }, ), }, ), ], span: Span { start: Position { line: 368, column: 9, }, end: Position { line: 372, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 366, column: 19, }, end: Position { line: 373, column: 6, }, }, }, ), operator: Update, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 373, column: 10, }, end: Position { line: 373, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 373, column: 25, }, end: Position { line: 373, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "user", span: Span { start: Position { line: 373, column: 29, }, end: Position { line: 373, column: 33, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 373, column: 38, }, end: Position { line: 373, column: 46, }, }, }, ), ], span: Span { start: Position { line: 373, column: 37, }, end: Position { line: 373, column: 47, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 374, column: 7, }, end: Position { line: 374, column: 15, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "uid", span: Span { start: Position { line: 376, column: 11, }, end: Position { line: 376, column: 14, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 376, column: 17, }, end: Position { line: 376, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 376, column: 24, }, end: Position { line: 376, column: 27, }, }, }, ), Raw( PartRaw { content: "uids", span: Span { start: Position { line: 376, column: 28, }, end: Position { line: 376, column: 32, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 376, column: 33, }, end: Position { line: 376, column: 41, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 377, column: 11, }, end: Position { line: 377, column: 22, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Dovecot user", span: Span { start: Position { line: 377, column: 26, }, end: Position { line: 377, column: 38, }, }, }, ), ], span: Span { start: Position { line: 377, column: 25, }, end: Position { line: 377, column: 39, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 378, column: 11, }, end: Position { line: 378, column: 16, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 378, column: 19, }, end: Position { line: 378, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 378, column: 23, }, end: Position { line: 378, column: 28, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 375, column: 9, }, end: Position { line: 379, column: 10, }, }, }, ), }, ), ], span: Span { start: Position { line: 373, column: 49, }, end: Position { line: 380, column: 6, }, }, }, ), ], }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 380, column: 10, }, end: Position { line: 380, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 380, column: 25, }, end: Position { line: 380, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "createMailUser", span: Span { start: Position { line: 380, column: 29, }, end: Position { line: 380, column: 43, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 380, column: 47, }, end: Position { line: 380, column: 50, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 380, column: 51, }, end: Position { line: 380, column: 59, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 380, column: 63, }, end: Position { line: 380, column: 67, }, }, }, ), }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 381, column: 9, }, end: Position { line: 381, column: 12, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 381, column: 13, }, end: Position { line: 381, column: 21, }, }, }, ), ], default: None, }, ), }, ), ], to: BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 382, column: 11, }, end: Position { line: 382, column: 22, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Virtual Mail User", span: Span { start: Position { line: 382, column: 26, }, end: Position { line: 382, column: 43, }, }, }, ), ], span: Span { start: Position { line: 382, column: 25, }, end: Position { line: 382, column: 44, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "isSystemUser", span: Span { start: Position { line: 382, column: 46, }, end: Position { line: 382, column: 58, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 382, column: 61, }, end: Position { line: 382, column: 65, }, }, }, ), }, ), ], span: Span { start: Position { line: 382, column: 9, }, end: Position { line: 382, column: 68, }, }, }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 382, column: 72, }, end: Position { line: 382, column: 85, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 382, column: 87, }, end: Position { line: 382, column: 90, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 382, column: 91, }, end: Position { line: 382, column: 100, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 382, column: 104, }, end: Position { line: 382, column: 108, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 383, column: 13, }, end: Position { line: 383, column: 18, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 383, column: 21, }, end: Position { line: 383, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 383, column: 25, }, end: Position { line: 383, column: 34, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 383, column: 11, }, end: Position { line: 383, column: 37, }, }, }, ), ], }, ), }, ), }, ), ], span: Span { start: Position { line: 380, column: 69, }, end: Position { line: 384, column: 6, }, }, }, ), ], }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "users", span: Span { start: Position { line: 386, column: 5, }, end: Position { line: 386, column: 10, }, }, }, ), Raw( PartRaw { content: "groups", span: Span { start: Position { line: 386, column: 11, }, end: Position { line: 386, column: 17, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovenull", span: Span { start: Position { line: 387, column: 7, }, end: Position { line: 387, column: 15, }, }, }, ), Raw( PartRaw { content: "gid", span: Span { start: Position { line: 387, column: 16, }, end: Position { line: 387, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 387, column: 22, }, end: Position { line: 387, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 387, column: 29, }, end: Position { line: 387, column: 32, }, }, }, ), Raw( PartRaw { content: "gids", span: Span { start: Position { line: 387, column: 33, }, end: Position { line: 387, column: 37, }, }, }, ), Raw( PartRaw { content: "dovenull2", span: Span { start: Position { line: 387, column: 38, }, end: Position { line: 387, column: 47, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 386, column: 20, }, end: Position { line: 388, column: 6, }, }, }, ), operator: Update, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 388, column: 10, }, end: Position { line: 388, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 388, column: 25, }, end: Position { line: 388, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "group", span: Span { start: Position { line: 388, column: 29, }, end: Position { line: 388, column: 34, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 388, column: 39, }, end: Position { line: 388, column: 47, }, }, }, ), ], span: Span { start: Position { line: 388, column: 38, }, end: Position { line: 388, column: 48, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 389, column: 7, }, end: Position { line: 389, column: 15, }, }, }, ), Raw( PartRaw { content: "gid", span: Span { start: Position { line: 389, column: 16, }, end: Position { line: 389, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 389, column: 22, }, end: Position { line: 389, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "ids", span: Span { start: Position { line: 389, column: 29, }, end: Position { line: 389, column: 32, }, }, }, ), Raw( PartRaw { content: "gids", span: Span { start: Position { line: 389, column: 33, }, end: Position { line: 389, column: 37, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 389, column: 38, }, end: Position { line: 389, column: 46, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 388, column: 50, }, end: Position { line: 390, column: 6, }, }, }, ), ], }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 390, column: 10, }, end: Position { line: 390, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 390, column: 25, }, end: Position { line: 390, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "createMailUser", span: Span { start: Position { line: 390, column: 29, }, end: Position { line: 390, column: 43, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 390, column: 47, }, end: Position { line: 390, column: 50, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 390, column: 51, }, end: Position { line: 390, column: 60, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 390, column: 64, }, end: Position { line: 390, column: 68, }, }, }, ), }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 391, column: 9, }, end: Position { line: 391, column: 12, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 391, column: 13, }, end: Position { line: 391, column: 22, }, }, }, ), ], default: None, }, ), }, ), ], to: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 391, column: 26, }, end: Position { line: 391, column: 28, }, }, }, ), }, ), ], span: Span { start: Position { line: 390, column: 70, }, end: Position { line: 392, column: 6, }, }, }, ), ], }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 394, column: 5, }, end: Position { line: 394, column: 16, }, }, }, ), Raw( PartRaw { content: "etc", span: Span { start: Position { line: 394, column: 17, }, end: Position { line: 394, column: 20, }, }, }, ), Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "dovecot/modules", span: Span { start: Position { line: 394, column: 22, }, end: Position { line: 394, column: 37, }, }, }, ), ], span: Span { start: Position { line: 394, column: 21, }, end: Position { line: 394, column: 38, }, }, }, ), }, ), Raw( PartRaw { content: "source", span: Span { start: Position { line: 394, column: 39, }, end: Position { line: 394, column: 45, }, }, }, ), ], to: Identifier( Identifier { id: "modulesDir", span: Span { start: Position { line: 394, column: 48, }, end: Position { line: 394, column: 58, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 395, column: 5, }, end: Position { line: 395, column: 16, }, }, }, ), Raw( PartRaw { content: "etc", span: Span { start: Position { line: 395, column: 17, }, end: Position { line: 395, column: 20, }, }, }, ), Expression( PartExpression { expression: String( String_ { parts: [ Raw( PartRaw { content: "dovecot/dovecot.conf", span: Span { start: Position { line: 395, column: 22, }, end: Position { line: 395, column: 42, }, }, }, ), ], span: Span { start: Position { line: 395, column: 21, }, end: Position { line: 395, column: 43, }, }, }, ), }, ), Raw( PartRaw { content: "source", span: Span { start: Position { line: 395, column: 44, }, end: Position { line: 395, column: 50, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 395, column: 53, }, end: Position { line: 395, column: 56, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "configFile", span: Span { start: Position { line: 395, column: 57, }, end: Position { line: 395, column: 67, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 397, column: 5, }, end: Position { line: 397, column: 12, }, }, }, ), Raw( PartRaw { content: "services", span: Span { start: Position { line: 397, column: 13, }, end: Position { line: 397, column: 21, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 397, column: 22, }, end: Position { line: 397, column: 30, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 398, column: 7, }, end: Position { line: 398, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "Dovecot IMAP/POP3 server", span: Span { start: Position { line: 398, column: 22, }, end: Position { line: 398, column: 46, }, }, }, ), ], span: Span { start: Position { line: 398, column: 21, }, end: Position { line: 398, column: 47, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "after", span: Span { start: Position { line: 400, column: 7, }, end: Position { line: 400, column: 12, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "network.target", span: Span { start: Position { line: 400, column: 18, }, end: Position { line: 400, column: 32, }, }, }, ), ], span: Span { start: Position { line: 400, column: 17, }, end: Position { line: 400, column: 33, }, }, }, ), ], span: Span { start: Position { line: 400, column: 15, }, end: Position { line: 400, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "wantedBy", span: Span { start: Position { line: 401, column: 7, }, end: Position { line: 401, column: 15, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "multi-user.target", span: Span { start: Position { line: 401, column: 21, }, end: Position { line: 401, column: 38, }, }, }, ), ], span: Span { start: Position { line: 401, column: 20, }, end: Position { line: 401, column: 39, }, }, }, ), ], span: Span { start: Position { line: 401, column: 18, }, end: Position { line: 401, column: 41, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "restartTriggers", span: Span { start: Position { line: 402, column: 7, }, end: Position { line: 402, column: 22, }, }, }, ), ], to: List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 402, column: 27, }, end: Position { line: 402, column: 30, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "configFile", span: Span { start: Position { line: 402, column: 31, }, end: Position { line: 402, column: 41, }, }, }, ), ], default: None, }, ), Identifier( Identifier { id: "modulesDir", span: Span { start: Position { line: 402, column: 42, }, end: Position { line: 402, column: 52, }, }, }, ), ], span: Span { start: Position { line: 402, column: 25, }, end: Position { line: 402, column: 54, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "startLimitIntervalSec", span: Span { start: Position { line: 404, column: 7, }, end: Position { line: 404, column: 28, }, }, }, ), ], to: Integer( Integer { value: "60", span: Span { start: Position { line: 404, column: 31, }, end: Position { line: 404, column: 33, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "serviceConfig", span: Span { start: Position { line: 405, column: 7, }, end: Position { line: 405, column: 20, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Type", span: Span { start: Position { line: 406, column: 9, }, end: Position { line: 406, column: 13, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "notify", span: Span { start: Position { line: 406, column: 17, }, end: Position { line: 406, column: 23, }, }, }, ), ], span: Span { start: Position { line: 406, column: 16, }, end: Position { line: 406, column: 24, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecStart", span: Span { start: Position { line: 407, column: 9, }, end: Position { line: 407, column: 18, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 407, column: 24, }, end: Position { line: 407, column: 34, }, }, }, ), }, ), Raw( PartRaw { content: "/sbin/dovecot -F", span: Span { start: Position { line: 407, column: 22, }, end: Position { line: 407, column: 51, }, }, }, ), ], span: Span { start: Position { line: 407, column: 21, }, end: Position { line: 407, column: 52, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "ExecReload", span: Span { start: Position { line: 408, column: 9, }, end: Position { line: 408, column: 19, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 408, column: 25, }, end: Position { line: 408, column: 35, }, }, }, ), }, ), Raw( PartRaw { content: "/sbin/doveadm reload", span: Span { start: Position { line: 408, column: 23, }, end: Position { line: 408, column: 56, }, }, }, ), ], span: Span { start: Position { line: 408, column: 22, }, end: Position { line: 408, column: 57, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "Restart", span: Span { start: Position { line: 409, column: 9, }, end: Position { line: 409, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "on-failure", span: Span { start: Position { line: 409, column: 20, }, end: Position { line: 409, column: 30, }, }, }, ), ], span: Span { start: Position { line: 409, column: 19, }, end: Position { line: 409, column: 31, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RestartSec", span: Span { start: Position { line: 410, column: 9, }, end: Position { line: 410, column: 19, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "1s", span: Span { start: Position { line: 410, column: 23, }, end: Position { line: 410, column: 25, }, }, }, ), ], span: Span { start: Position { line: 410, column: 22, }, end: Position { line: 410, column: 26, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "RuntimeDirectory", span: Span { start: Position { line: 411, column: 9, }, end: Position { line: 411, column: 25, }, }, }, ), ], to: List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 411, column: 31, }, end: Position { line: 411, column: 39, }, }, }, ), ], span: Span { start: Position { line: 411, column: 30, }, end: Position { line: 411, column: 40, }, }, }, ), ], span: Span { start: Position { line: 411, column: 28, }, end: Position { line: 411, column: 42, }, }, }, ), }, ), ], span: Span { start: Position { line: 405, column: 23, }, end: Position { line: 412, column: 8, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "preStart", span: Span { start: Position { line: 417, column: 7, }, end: Position { line: 417, column: 15, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "rm -rf ", span: Span { start: Position { line: 418, column: 1, }, end: Position { line: 418, column: 16, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 418, column: 18, }, end: Position { line: 418, column: 26, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve\n", span: Span { start: Position { line: 418, column: 1, }, end: Position { line: 419, column: 7, }, }, }, ), ], span: Span { start: Position { line: 417, column: 18, }, end: Position { line: 419, column: 9, }, }, }, ), operator: Addition, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalString", span: Span { start: Position { line: 419, column: 12, }, end: Position { line: 419, column: 26, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 419, column: 28, }, end: Position { line: 419, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 419, column: 32, }, end: Position { line: 419, column: 44, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 419, column: 48, }, end: Position { line: 419, column: 50, }, }, }, ), }, ), IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "mkdir -p ", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 420, column: 18, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 420, column: 20, }, end: Position { line: 420, column: 28, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve\n", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 421, column: 9, }, }, }, ), Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "concatStringsSep", span: Span { start: Position { line: 421, column: 11, }, end: Position { line: 421, column: 27, }, }, }, ), arguments: [ String( String_ { parts: [ Raw( PartRaw { content: "\n", span: Span { start: Position { line: 421, column: 29, }, end: Position { line: 421, column: 31, }, }, }, ), ], span: Span { start: Position { line: 421, column: 28, }, end: Position { line: 421, column: 32, }, }, }, ), FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mapAttrsToList", span: Span { start: Position { line: 422, column: 9, }, end: Position { line: 422, column: 23, }, }, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "to", }, ), body: Function( Function { head: Simple( FunctionHeadSimple { identifier: "from", }, ), body: IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "if [ -d ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 424, column: 21, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 424, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "from", span: Span { start: Position { line: 424, column: 24, }, end: Position { line: 424, column: 28, }, }, }, ), }, ), Raw( PartRaw { content: "' ]; then\n mkdir ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 425, column: 21, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 425, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 425, column: 24, }, end: Position { line: 425, column: 32, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve/", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 425, column: 40, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 425, column: 42, }, end: Position { line: 425, column: 44, }, }, }, ), }, ), Raw( PartRaw { content: "'\n cp -p \"", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 426, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "from", span: Span { start: Position { line: 426, column: 24, }, end: Position { line: 426, column: 28, }, }, }, ), }, ), Raw( PartRaw { content: "/\"*.sieve ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 426, column: 39, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 426, column: 40, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 426, column: 42, }, end: Position { line: 426, column: 50, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve/", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 426, column: 58, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 426, column: 60, }, end: Position { line: 426, column: 62, }, }, }, ), }, ), Raw( PartRaw { content: "'\nelse\n cp -p ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 428, column: 21, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 428, column: 22, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "from", span: Span { start: Position { line: 428, column: 24, }, end: Position { line: 428, column: 28, }, }, }, ), }, ), Raw( PartRaw { content: "' ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 428, column: 31, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 428, column: 32, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 428, column: 34, }, end: Position { line: 428, column: 42, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve/", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 428, column: 50, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 428, column: 52, }, end: Position { line: 428, column: 54, }, }, }, ), }, ), Raw( PartRaw { content: "'\nfi\n", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 430, column: 13, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 430, column: 15, }, end: Position { line: 430, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "dovecot_pigeonhole", span: Span { start: Position { line: 430, column: 20, }, end: Position { line: 430, column: 38, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/sievec ", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 430, column: 51, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 430, column: 52, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 430, column: 54, }, end: Position { line: 430, column: 62, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve/", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 430, column: 70, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "to", span: Span { start: Position { line: 430, column: 72, }, end: Position { line: 430, column: 74, }, }, }, ), }, ), Raw( PartRaw { content: "'\n", span: Span { start: Position { line: 424, column: 1, }, end: Position { line: 431, column: 11, }, }, }, ), ], span: Span { start: Position { line: 423, column: 21, }, end: Position { line: 431, column: 13, }, }, }, ), span: Span { start: Position { line: 423, column: 15, }, end: Position { line: 431, column: 13, }, }, }, ), span: Span { start: Position { line: 423, column: 11, }, end: Position { line: 431, column: 13, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 432, column: 11, }, end: Position { line: 432, column: 14, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 432, column: 15, }, end: Position { line: 432, column: 27, }, }, }, ), ], default: None, }, ), ], }, ), ], }, ), }, ), Raw( PartRaw { content: "\nchown -R ", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 434, column: 18, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 434, column: 19, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 434, column: 21, }, end: Position { line: 434, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 434, column: 25, }, end: Position { line: 434, column: 33, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: ":", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 434, column: 35, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 434, column: 37, }, end: Position { line: 434, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 434, column: 41, }, end: Position { line: 434, column: 50, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "' ", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 434, column: 53, }, }, }, ), Raw( PartRaw { content: "'", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 434, column: 54, }, }, }, ), Interpolation( PartInterpolation { expression: Identifier( Identifier { id: "stateDir", span: Span { start: Position { line: 434, column: 56, }, end: Position { line: 434, column: 64, }, }, }, ), }, ), Raw( PartRaw { content: "/sieve'\n", span: Span { start: Position { line: 420, column: 1, }, end: Position { line: 435, column: 7, }, }, }, ), ], span: Span { start: Position { line: 419, column: 52, }, end: Position { line: 435, column: 9, }, }, }, ), ], }, ), }, ), }, ), ], span: Span { start: Position { line: 397, column: 33, }, end: Position { line: 436, column: 6, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 438, column: 5, }, end: Position { line: 438, column: 16, }, }, }, ), Raw( PartRaw { content: "systemPackages", span: Span { start: Position { line: 438, column: 17, }, end: Position { line: 438, column: 31, }, }, }, ), ], to: List( List { elements: [ Identifier( Identifier { id: "dovecotPkg", span: Span { start: Position { line: 438, column: 36, }, end: Position { line: 438, column: 46, }, }, }, ), ], span: Span { start: Position { line: 438, column: 34, }, end: Position { line: 438, column: 48, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "warnings", span: Span { start: Position { line: 440, column: 5, }, end: Position { line: 440, column: 13, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkIf", span: Span { start: Position { line: 440, column: 16, }, end: Position { line: 440, column: 20, }, }, }, ), arguments: [ FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "any", span: Span { start: Position { line: 440, column: 22, }, end: Position { line: 440, column: 25, }, }, }, ), arguments: [ Identifier( Identifier { id: "isList", span: Span { start: Position { line: 440, column: 26, }, end: Position { line: 440, column: 32, }, }, }, ), PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "options", span: Span { start: Position { line: 440, column: 33, }, end: Position { line: 440, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 440, column: 41, }, end: Position { line: 440, column: 49, }, }, }, ), Raw( PartRaw { content: "dovecot2", span: Span { start: Position { line: 440, column: 50, }, end: Position { line: 440, column: 58, }, }, }, ), Raw( PartRaw { content: "mailboxes", span: Span { start: Position { line: 440, column: 59, }, end: Position { line: 440, column: 68, }, }, }, ), Raw( PartRaw { content: "definitions", span: Span { start: Position { line: 440, column: 69, }, end: Position { line: 440, column: 80, }, }, }, ), ], default: None, }, ), ], }, ), List( List { elements: [ String( String_ { parts: [ Raw( PartRaw { content: "Declaring `services.dovecot2.mailboxes' as a list is deprecated and will break eval in 21.05! See the release notes for more info for migration.", span: Span { start: Position { line: 441, column: 8, }, end: Position { line: 441, column: 152, }, }, }, ), ], span: Span { start: Position { line: 441, column: 7, }, end: Position { line: 441, column: 153, }, }, }, ), ], span: Span { start: Position { line: 440, column: 82, }, end: Position { line: 442, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertions", span: Span { start: Position { line: 444, column: 5, }, end: Position { line: 444, column: 15, }, }, }, ), ], to: List( List { elements: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 446, column: 9, }, end: Position { line: 446, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 446, column: 22, }, end: Position { line: 446, column: 25, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 446, column: 26, }, end: Position { line: 446, column: 39, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 446, column: 43, }, end: Position { line: 446, column: 47, }, }, }, ), }, ), operator: EqualTo, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 446, column: 53, }, end: Position { line: 446, column: 56, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerKey", span: Span { start: Position { line: 446, column: 57, }, end: Position { line: 446, column: 69, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 446, column: 73, }, end: Position { line: 446, column: 77, }, }, }, ), }, ), }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 447, column: 13, }, end: Position { line: 447, column: 16, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslCACert", span: Span { start: Position { line: 447, column: 17, }, end: Position { line: 447, column: 26, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 447, column: 30, }, end: Position { line: 447, column: 34, }, }, }, ), }, ), operator: Implication, right: UnaryOperation( UnaryOperation { operator: Not, operand: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 447, column: 40, }, end: Position { line: 447, column: 43, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerCert", span: Span { start: Position { line: 447, column: 44, }, end: Position { line: 447, column: 57, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 447, column: 61, }, end: Position { line: 447, column: 65, }, }, }, ), }, ), operator: LogicalOr, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 447, column: 69, }, end: Position { line: 447, column: 72, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sslServerKey", span: Span { start: Position { line: 447, column: 73, }, end: Position { line: 447, column: 85, }, }, }, ), ], default: None, }, ), operator: EqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 447, column: 89, }, end: Position { line: 447, column: 93, }, }, }, ), }, ), }, ), span: Span { start: Position { line: 447, column: 38, }, end: Position { line: 447, column: 94, }, }, }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 448, column: 9, }, end: Position { line: 448, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot needs both sslServerCert and sslServerKey defined for working crypto", span: Span { start: Position { line: 448, column: 20, }, end: Position { line: 448, column: 96, }, }, }, ), ], span: Span { start: Position { line: 448, column: 19, }, end: Position { line: 448, column: 97, }, }, }, ), }, ), ], span: Span { start: Position { line: 445, column: 7, }, end: Position { line: 449, column: 8, }, }, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 451, column: 9, }, end: Position { line: 451, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 451, column: 21, }, end: Position { line: 451, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "showPAMFailure", span: Span { start: Position { line: 451, column: 25, }, end: Position { line: 451, column: 39, }, }, }, ), ], default: None, }, ), operator: Implication, right: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 451, column: 43, }, end: Position { line: 451, column: 46, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "enablePAM", span: Span { start: Position { line: 451, column: 47, }, end: Position { line: 451, column: 56, }, }, }, ), ], default: None, }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 452, column: 9, }, end: Position { line: 452, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot is configured with showPAMFailure while enablePAM is disabled", span: Span { start: Position { line: 452, column: 20, }, end: Position { line: 452, column: 89, }, }, }, ), ], span: Span { start: Position { line: 452, column: 19, }, end: Position { line: 452, column: 90, }, }, }, ), }, ), ], span: Span { start: Position { line: 450, column: 7, }, end: Position { line: 453, column: 8, }, }, }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "assertion", span: Span { start: Position { line: 455, column: 9, }, end: Position { line: 455, column: 18, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 455, column: 21, }, end: Position { line: 455, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "sieveScripts", span: Span { start: Position { line: 455, column: 25, }, end: Position { line: 455, column: 37, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Map( Map { recursive: false, bindings: [], span: Span { start: Position { line: 455, column: 41, }, end: Position { line: 455, column: 43, }, }, }, ), }, ), operator: Implication, right: BinaryOperation( BinaryOperation { left: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 455, column: 48, }, end: Position { line: 455, column: 51, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailUser", span: Span { start: Position { line: 455, column: 52, }, end: Position { line: 455, column: 60, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 455, column: 64, }, end: Position { line: 455, column: 68, }, }, }, ), }, ), operator: LogicalAnd, right: BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "cfg", span: Span { start: Position { line: 455, column: 72, }, end: Position { line: 455, column: 75, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mailGroup", span: Span { start: Position { line: 455, column: 76, }, end: Position { line: 455, column: 85, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 455, column: 89, }, end: Position { line: 455, column: 93, }, }, }, ), }, ), }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "message", span: Span { start: Position { line: 456, column: 9, }, end: Position { line: 456, column: 16, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "dovecot requires mailUser and mailGroup to be set when sieveScripts is set", span: Span { start: Position { line: 456, column: 20, }, end: Position { line: 456, column: 94, }, }, }, ), ], span: Span { start: Position { line: 456, column: 19, }, end: Position { line: 456, column: 95, }, }, }, ), }, ), ], span: Span { start: Position { line: 454, column: 7, }, end: Position { line: 457, column: 8, }, }, }, ), ], span: Span { start: Position { line: 444, column: 18, }, end: Position { line: 458, column: 6, }, }, }, ), }, ), ], span: Span { start: Position { line: 349, column: 28, }, end: Position { line: 460, column: 4, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 166, column: 1, }, end: Position { line: 462, column: 2, }, }, }, ), span: Span { start: Position { line: 5, column: 1, }, end: Position { line: 462, column: 2, }, }, }, ), span: Span { start: Position { line: 3, column: 1, }, end: Position { line: 462, column: 2, }, }, }, ), span: Span { start: Position { line: 1, column: 1, }, end: Position { line: 462, column: 2, }, }, }, )