move default group names to lib.typ

Marmare314 · Sep 28, 2023 · ce3bc6c · ce3bc6c
1 parent 55c31dc
commit ce3bc6c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/lib.typ b/src/lib.typ
@@ -1,10 +1,13 @@
 #import "theorem.typ": create-theorem, is-theorem, get-theorem-parameters
 #import "styles.typ": numbering-concat, style-simple, numbering-proof
 #import "translations.typ": get-translation
-#import "selectors.typ": LEMMIFY-DEFAULT-THEOREM-GROUP, LEMMIFY-DEFAULT-PROOF-GROUP, last-heading
+#import "selectors.typ": last-heading
 #import "reset-counter.typ": concat-fold, reset-counter-heading
 #import "types.typ": assert-type, None
 
+#let LEMMIFY-DEFAULT-THEOREM-GROUP = "LEMMIFY-DEFAULT-THEOREM-GROUP"
+#let LEMMIFY-DEFAULT-PROOF-GROUP = "LEMMIFY-DEFAULT-PROOF-GROUP"
+
 #let theorem-kind(
   kind-name,
   group: LEMMIFY-DEFAULT-THEOREM-GROUP,

diff --git a/src/selectors.typ b/src/selectors.typ
@@ -37,9 +37,6 @@
   }
 }
 
-#let LEMMIFY-DEFAULT-THEOREM-GROUP = "LEMMIFY-DEFAULT-THEOREM-GROUP"
-#let LEMMIFY-DEFAULT-PROOF-GROUP = "LEMMIFY-DEFAULT-PROOF-GROUP"
-
 #let select-group(kind-func) = {
   assert-type(kind-func, "kind-func", function)
   let params = get-theorem-parameters(kind-func[])