aboutsummaryrefslogtreecommitdiffstats
path: root/lib/qualified_name.mli
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-09-26 15:30:53 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-09-26 15:30:53 -0300
commite32ba6294781691846c3ab19281fe977350b4d0f (patch)
treef38e92ba2fc03e966d7263c7ee2e0b5d7983ebae /lib/qualified_name.mli
parentbe375a52da6174dfda5b68617d27e1542cc80499 (diff)
downloadSakura-e32ba6294781691846c3ab19281fe977350b4d0f.tar.gz
Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.zip
preparation cleanup for RNT integration
Diffstat (limited to 'lib/qualified_name.mli')
-rw-r--r--lib/qualified_name.mli16
1 files changed, 0 insertions, 16 deletions
diff --git a/lib/qualified_name.mli b/lib/qualified_name.mli
deleted file mode 100644
index 15f80d1..0000000
--- a/lib/qualified_name.mli
+++ /dev/null
@@ -1,16 +0,0 @@
-(** Fully qualified relation reference: [mg:rel_name].
-
- The first colon separates the multigroup name from the relation name; any
- further colons are part of the relation name verbatim. *)
-
-type t = {mg: string; name: string}
-
-exception Unqualified of string
-
-(** Splits on the first [:]. Raises [Unqualified] when no mg segment is present
- (i.e. no colon, or empty mg / empty name). *)
-val parse : string -> t
-
-val try_parse : string -> (t, Condition.t) result
-val make : mg:string -> name:string -> t
-val to_string : t -> string