blob: 15f80d142c32f8a6d6e440bb630029252011f5d8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(** 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
|
