From aeca30b72e07f4721c66fb0897f1d71ae68527e9 Mon Sep 17 00:00:00 2001
From: Alexander Hess <alexander@webartifex.biz>
Date: Sun, 20 Oct 2024 02:45:41 +0200
Subject: [PATCH] Add `Domain()` to top-level imports for `lalib`

---
 src/lalib/__init__.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/lalib/__init__.py b/src/lalib/__init__.py
index 53a7a35..cef3c36 100644
--- a/src/lalib/__init__.py
+++ b/src/lalib/__init__.py
@@ -22,6 +22,7 @@ one
 
 from importlib import metadata
 
+from lalib import domains
 from lalib import elements
 from lalib import fields
 
@@ -41,17 +42,21 @@ else:
     del pkg_info
 
 
+Domain = domains.Domain
+
 gf2, one, zero = elements.gf2, elements.one, elements.zero
 
 Q, R, C, GF2 = fields.Q, fields.R, fields.C, fields.GF2
 
 
+del domains
 del elements
 del fields
 del metadata
 
 
 __all__ = (
+    "Domain",
     "gf2",
     "one",
     "zero",