diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
| commit | e32ba6294781691846c3ab19281fe977350b4d0f (patch) | |
| tree | f38e92ba2fc03e966d7263c7ee2e0b5d7983ebae /lib/qualified_name.mli | |
| parent | be375a52da6174dfda5b68617d27e1542cc80499 (diff) | |
| download | Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.tar.gz Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.zip | |
preparation cleanup for RNT integration
Diffstat (limited to 'lib/qualified_name.mli')
| -rw-r--r-- | lib/qualified_name.mli | 16 |
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 |
