builtin pair

anoma · Jul 10, 2024 · 5f0e487 · 5f0e487
1 parent 0b24d16
commit 5f0e487
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Stdlib/Data/Pair/Base.juvix b/Stdlib/Data/Pair/Base.juvix
@@ -5,6 +5,7 @@ import Stdlib.Data.Fixity open;
 syntax operator , pair;
 
 --- Inductive pair. I.e. a tuple with two components.
+builtin pair
 type Pair (A B : Type) := , : A → B → Pair A B;
 
 --- Converts a function of two arguments to a function with a product argument.