Export FromNatural identifiers public

anoma · Jul 31, 2024 · 204681b · 204681b
1 parent 57964c6
commit 204681b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/include/package-base/Juvix/Builtin/V1/Trait/FromNatural.juvix b/include/package-base/Juvix/Builtin/V1/Trait/FromNatural.juvix
@@ -7,4 +7,6 @@ type FromNatural A :=
   mkFromNatural {
     builtin from-nat
     fromNat : Nat -> A
-};
+  };
+
+open FromNatural public;