add CrossRef

gfngfn · Sep 12, 2024 · fbaa75a · fbaa75a
1 parent 2bd3a5d
commit fbaa75a
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/cross-ref.satyg b/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/cross-ref.satyg
@@ -0,0 +1,19 @@
+module CrossRef :> sig
+  type key = string
+  type data = string
+  val register : key -> data -> unit
+  val get : key -> option data
+  val probe : key -> option data
+end = struct
+
+  type key = string
+
+  type data = string
+
+  val register = register-cross-reference %PRIMITIVE
+
+  val get = get-cross-reference %PRIMITIVE
+
+  val probe = probe-cross-reference %PRIMITIVE
+
+end
diff --git a/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/stdlib.satyh b/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/stdlib.satyh
@@ -22,6 +22,7 @@ use PaperSize
 use Deco
 use HDecoSet
 use VDecoSet
+use CrossRef
 
 module Stdlib :> sig
   % Basic
@@ -310,6 +311,13 @@ module Stdlib :> sig
     val paper : deco-set
     val quote-round : length -> length -> color -> deco-set
   end
+  module CrossRef : sig
+    type key = string
+    type data = string
+    val register : key -> data -> unit
+    val get : key -> option data
+    val probe : key -> option data
+  end
 end = struct
   include Basic
   module Int = Int
@@ -335,4 +343,5 @@ end = struct
   module Deco = Deco
   module HDecoSet = HDecoSet
   module VDecoSet = VDecoSet
+  module CrossRef = CrossRef
 end