Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lLopX-000459-GJ for pgsql-admin@arkaria.postgresql.org; Mon, 15 Mar 2021 15:08:28 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1lLopW-0000X0-DW for pgsql-admin@arkaria.postgresql.org; Mon, 15 Mar 2021 15:08:26 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lLopW-0000Ws-3h for pgsql-admin@lists.postgresql.org; Mon, 15 Mar 2021 15:08:26 +0000 Received: from cpdelvb-safe102.kpnxchange.com ([195.121.3.36]) by magus.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1lLopP-0007PT-7M for pgsql-admin@postgresql.org; Mon, 15 Mar 2021 15:08:25 +0000 Content-Language: en-US Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DKIM-Signature: v=1; a=rsa-sha256; d=kpn.com; s=safemail01; c=relaxed/relaxed; t=1615820897; h=mime-version:date:message-id:subject:from:to:content-type; bh=/GJ5Cls6j6tkx7QuaYDX6fwgTBWDySagl/Rzuqnex30=; b=bfOnWVDrzfSkgDKNLes00dG5Y71Zr4Q3oebuBLo3zy9YzOsFfro7G415ub2bbVHI6UldZVonjch GZgounoU2CqROUog5ZdPHggJR82Juvo+QVbbeAoLgKKLr8ee4JR19FEUAk8/3EJH7Eqmja+c+yhCq yZmE73DHK0qtpS3Z6GQ= Received: from CPSUBM-SAFE107.kpnxchange.com ([10.94.186.36]) by cpdelvb-safe102.kpnxchange.com with Microsoft SMTPSVC(8.5.9600.16384); Mon, 15 Mar 2021 16:08:17 +0100 X-KPNSenderID: 4294967167 Received: from CPEMS-KPN105.KPNCNL.LOCAL ([195.121.122.236]) by CPSUBM-SAFE107.kpnxchange.com over TLS secured channel with Microsoft SMTPSVC(8.5.9600.16384); Mon, 15 Mar 2021 16:08:16 +0100 Received: from CPEMS-KPN04.KPNCNL.LOCAL (192.168.99.143) by CPEMS-KPN105.KPNCNL.LOCAL (192.168.100.144) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2176.2; Mon, 15 Mar 2021 16:08:16 +0100 Received: from CPEMS-KPN04.KPNCNL.LOCAL ([fe80::fdd3:71c2:6cc7:f0ec]) by CPEMS-KPN04.KPNCNL.LOCAL ([fe80::fdd3:71c2:6cc7:f0ec%7]) with mapi id 15.01.2176.009; Mon, 15 Mar 2021 16:08:16 +0100 From: To: , Subject: RE: Pseudocode / Pseudo-Types Thread-Topic: Pseudocode / Pseudo-Types Thread-Index: AdcZot+xwpEMa7ZzRaGzt/w/ngkf9f//9IkA///gXQA= Date: Mon, 15 Mar 2021 15:08:16 +0000 Message-ID: <891d4eb7b3214be2ad31b1fa876fa885@kpn.com> References: <7af47a45b89d4ce2bd4a03179e6bb373@kpn.com> In-Reply-To: Accept-Language: nl-NL, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_Enabled=true; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_SetDate=2021-03-15T15:08:14Z; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_Method=Standard; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_Name=d2dc6f62-bb58-4b94-b6ca-9af54699d31b; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_SiteId=d7790549-8c35-40ea-ad75-954ac3e86be8; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_ActionId=6059d06c-9bf6-4fc9-b0c4-25207fb7eae5; MSIP_Label_d2dc6f62-bb58-4b94-b6ca-9af54699d31b_ContentBits=0 x-originating-ip: [192.168.100.196] MIME-Version: 1.0 X-OriginalArrivalTime: 15 Mar 2021 15:08:16.0854 (UTC) FILETIME=[07053F60:01D719AD] X-RcptDomain: postgresql.org List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk DQoNCi0tLS0tT3JpZ2luYWwgTWVzc2FnZS0tLS0tDQpGcm9tOiBMYXVyZW56IEFsYmUgPGxhdXJl bnouYWxiZUBjeWJlcnRlYy5hdD4gDQpTZW50OiBtYWFuZGFnIDE1IG1hYXJ0IDIwMjEgMTU6MTUN ClRvOiBCaGF0dGFjaGFyamVlLCBTb3VtaWsgPHNvdW1pay5iaGF0dGFjaGFyamVlQGtwbi5jb20+ OyBwZ3NxbC1hZG1pbkBwb3N0Z3Jlc3FsLm9yZw0KU3ViamVjdDogUmU6IFBzZXVkb2NvZGUgLyBQ c2V1ZG8tVHlwZXMNCg0KT24gTW9uLCAyMDIxLTAzLTE1IGF0IDEzOjU1ICswMDAwLCBzb3VtaWsu YmhhdHRhY2hhcmplZUBrcG4uY29tIHdyb3RlOg0KPiBIYXMgYW55Ym9keSBoYXMgYSB1c2UgY2Fz ZSBmb3IgdXNpbmcgUHNldWRvY29kZSAvIFBzZXVkby1UeXBlcz8NCj4gDQo+IEFueSBpbnB1dHMg d2lsbCBiZSBoZWxwZnVsIGFuZCBpZiBhbnkgcmVmZXJlbmNlIHNpdGVzIHRvIGNoZWNrIHNvbWUg ZXhhbXBsZSB1c2UgY2FzZXMgYXJlIGFsc28gZ29vZCB0byBzdGFydCB3aXRoLg0KPiANCj4gVGhh bmtzIGluIGFkdmFuY2UuLi4NCg0KUHNldWRvY29kZSwgYXMgaW4NCg0KICB3aGlsZSAodGhlcmUg aXMgc29tZXRoaW5nIHRvIGRvKQ0KICAgICBwcm9jZXNzX29uZV9pdGVtKCk7DQoNCmlzIGEgdG9v bCB0byB3cml0ZSBkb3duIGFuIGFsZ29yaXRobSBpbiBhIHdheSB0aGF0IGlzIGVhc3kgZm9yIHBy b2dyYW1tZXJzIHRvIHVuZGVyc3RhbmQuDQoNClBzZXVkby10eXBlcywgYXMgaW4NCmh0dHBzOi8v d3d3LnBvc3RncmVzcWwub3JnL2RvY3MvY3VycmVudC9kYXRhdHlwZS1wc2V1ZG8uaHRtbA0KYXJl IHNvbWV0aGluZyBlbnRpcmVseSBkaWZmZXJlbnQuDQoNCkhlcmUgaXMgYSB1c2VmdWwgZXhhbXBs ZToNCg0KQ1JFQVRFIEZVTkNUSU9OIHN1Y2Nlc3NvcihhbnllbGVtZW50KSBSRVRVUk5TIGFueWVs ZW1lbnQNCiAgIExBTkdVQUdFIHNxbCBBUyAnU0VMRUNUICQxICsgMSc7DQoNClNFTEVDVCBzdWNj ZXNzb3IoNDEpOw0KDQogc3VjY2Vzc29yDQotLS0tLS0tLS0tLQ0KICAgICAgICA0Mg0KKDEgcm93 KQ0KDQpTRUxFQ1Qgc3VjY2Vzc29yKGN1cnJlbnRfZGF0ZSk7DQoNCiBzdWNjZXNzb3INCi0tLS0t LS0tLS0tLQ0KIDIwMjEtMDMtMTYNCigxIHJvdykNCg0KWW91cnMsDQpMYXVyZW56IEFsYmUNCi0t DQpDeWJlcnRlYyB8IGh0dHBzOi8vd3d3LmN5YmVydGVjLXBvc3RncmVzcWwuY29tDQoNCg0KDQpU aGFua3MgZm9yIHRoZSBpbmZvcm1hdGlvbi4uLg0K