Added is_one

advancedresearch · Apr 4, 2016 · f12f54a · f12f54a
1 parent ec17125
commit f12f54a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/assets/nat.txt b/assets/nat.txt
@@ -22,3 +22,11 @@ pub fn mul(nat, nat) -> nat;
 pub fn mul [is_zero] (bool, bool) -> bool;
 [:] (false, false) -> false;
 [:] (_, _) -> true;
+
+pub fn is_one(nat) -> bool;
+[:] (s(z)) -> true;
+[:] (_) -> false;
+
+pub fn mul [is_one] (bool, bool) -> bool;
+[:] (true, true) -> true;
+[:] (_, _) -> false;