From 35954994a022f77cee5ff4518a32a192ba7818b0 Mon Sep 17 00:00:00 2001
From: maksim <kyngfy-panda@yandex.ru>
Date: Fri, 8 Jul 2022 19:18:41 +0500
Subject: [PATCH] up eo version to 0.23.16

---
 project/scripts/data/settings.yml       | 2 +-
 result/eo/c2eo/coperators/and.eo        | 2 +-
 result/eo/c2eo/coperators/as-float64.eo | 4 +++-
 result/eo/c2eo/coperators/as-int64.eo   | 4 +++-
 result/eo/c2eo/coperators/mod.eo        | 4 +++-
 result/eo/c2eo/coperators/or.eo         | 2 +-
 result/pom.xml                          | 4 ++--
 7 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/project/scripts/data/settings.yml b/project/scripts/data/settings.yml
index f29fed6d..9de5ec99 100644
--- a/project/scripts/data/settings.yml
+++ b/project/scripts/data/settings.yml
@@ -33,7 +33,7 @@ code_file_patterns:
 - '*.cpp'
 - '*.h'
 config: null
-current_eo_version: 0.23.11
+current_eo_version: 0.23.16
 ignored_inspection_warnings: null
 ignored_transpilation_warnings:
 - Wunused-command-line-argument
diff --git a/result/eo/c2eo/coperators/and.eo b/result/eo/c2eo/coperators/and.eo
index 4691dda9..08084164 100644
--- a/result/eo/c2eo/coperators/and.eo
+++ b/result/eo/c2eo/coperators/and.eo
@@ -1,4 +1,4 @@
 +package c2eo.coperators
 
 [a b] > and
-  ((a.neq 0).and (b.neq 0)).if 1 0 > @
+  ((a.eq 0).or (b.eq 0)).if 0 1 > @
diff --git a/result/eo/c2eo/coperators/as-float64.eo b/result/eo/c2eo/coperators/as-float64.eo
index 4cc66ad9..1eee3fa5 100644
--- a/result/eo/c2eo/coperators/as-float64.eo
+++ b/result/eo/c2eo/coperators/as-float64.eo
@@ -1,4 +1,6 @@
 +package c2eo.coperators
 
++alias org.eolang.math.number
+
 [a] > as-float64
-  a.as-float > @
+  (number a).as-float > @
diff --git a/result/eo/c2eo/coperators/as-int64.eo b/result/eo/c2eo/coperators/as-int64.eo
index ab074738..05b39481 100644
--- a/result/eo/c2eo/coperators/as-int64.eo
+++ b/result/eo/c2eo/coperators/as-int64.eo
@@ -1,4 +1,6 @@
 +package c2eo.coperators
 
++alias org.eolang.math.number
+
 [a] > as-int64
-  a.as-int > @
+  (number a).as-int > @
diff --git a/result/eo/c2eo/coperators/mod.eo b/result/eo/c2eo/coperators/mod.eo
index b7938730..f4536a74 100644
--- a/result/eo/c2eo/coperators/mod.eo
+++ b/result/eo/c2eo/coperators/mod.eo
@@ -1,4 +1,6 @@
 +package c2eo.coperators
 
++alias org.eolang.math.number
+
 [a b] > mod
-  a.mod b > @
+  (number a).mod b > @
diff --git a/result/eo/c2eo/coperators/or.eo b/result/eo/c2eo/coperators/or.eo
index 9368defb..5c41c91f 100644
--- a/result/eo/c2eo/coperators/or.eo
+++ b/result/eo/c2eo/coperators/or.eo
@@ -1,4 +1,4 @@
 +package c2eo.coperators
 
 [a b] > or
-  ((a.neq 0).or (b.neq 0)).if 1 0 > @
+  ((a.eq 0).and (b.eq 0)).if 0 1 > @
diff --git a/result/pom.xml b/result/pom.xml
index 0e35eaf6..e605a91e 100644
--- a/result/pom.xml
+++ b/result/pom.xml
@@ -28,7 +28,7 @@ SOFTWARE.
   <artifactId>c2eo-transpiler</artifactId>
   <version>1.0-SNAPSHOT</version>
   <properties>
-    <eolang.version>0.23.11</eolang.version>
+    <eolang.version>0.23.16</eolang.version>
   </properties>
   <build>
     <plugins>
@@ -45,7 +45,7 @@ SOFTWARE.
         <artifactId>eo-maven-plugin</artifactId>
         <version>${eolang.version}</version>
         <configuration>
-          <hash>f8b35878ff8725547bc131bff5ff038f19abff37</hash>
+          <hash>ef030f1</hash>
         </configuration>
         <executions>
           <execution>