Add missing builtins to the prelude.

Fixes #2.
aiken-lang · Dec 8, 2023 · c0d2696 · c0d2696
1 parent 82b2dd6
commit c0d2696
Show file tree

Hide file tree

Showing 2 changed files with 146 additions and 54 deletions.
diff --git a/lib/aiken.ak b/lib/aiken.ak
@@ -55,6 +55,21 @@ pub opaque type List<a> {
   List
 }
 
+/// A type for representing G1 element of BLS12_381 curves.
+pub opaque type G1Element {
+  G1Element
+}
+
+/// A type for representing G2 element of BLS12_381 curves.
+pub opaque type G2Element {
+  G1Element
+}
+
+/// A type for representing Miller-loop results.
+pub opaque type MillerLoopResult {
+  MillerLoopResult
+}
+
 /// A type for returning optional results. See also [stdlib/option](https://aiken-lang.github.io/stdlib/aiken/option.html).
 pub type Option<a> {
   Some(a)