From a9b2389ae300bb9d3af367e1ef000e6bd5a3ec4d Mon Sep 17 00:00:00 2001
From: Hongwei <gmhwxi@gmail.com>
Date: Sun, 29 Dec 2024 11:02:32 -0500
Subject: [PATCH] Updating: very very minorly

---
 prelude/DATS/CATS/PY/bool000.dats | 156 ++++++++++++++++++++++++++++++
 1 file changed, 156 insertions(+)
 create mode 100644 prelude/DATS/CATS/PY/bool000.dats

diff --git a/prelude/DATS/CATS/PY/bool000.dats b/prelude/DATS/CATS/PY/bool000.dats
new file mode 100644
index 000000000..e9f206e61
--- /dev/null
+++ b/prelude/DATS/CATS/PY/bool000.dats
@@ -0,0 +1,156 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2024 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+Sun Dec 29 11:01:48 AM EST 2024
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_lt
+(b1, b2) =
+(
+XATS2PY_bool_lt
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_lt
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_gt
+(b1, b2) =
+(
+XATS2PY_bool_gt
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_gt
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_eq
+(b1, b2) =
+(
+XATS2PY_bool_eq
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_eq
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_lte
+(b1, b2) =
+(
+XATS2PY_bool_lte
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_lte
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_gte
+(b1, b2) =
+(
+XATS2PY_bool_gte
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_gte
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+//
+#impltmp
+<(*tmp*)>
+bool_neq
+(b1, b2) =
+(
+XATS2PY_bool_neq
+  (b1, b2)) where
+{
+#extern
+fun
+XATS2PY_bool_neq
+(b1: bool, b2: bool): bool = $extnam()
+}
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(*
+HX-2024-09-05:
+Thu 05 Sep 2024 11:11:27 AM EDT
+*)
+//
+#impltmp
+<(*tmp*)>
+bool_print(b0) =
+(
+if b0
+then strn_print<>("true")
+else strn_print<>("false"))//end(impl)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XANADU_prelude_DATS_CATS_PY_bool000.dats] *)