blob: 0e39ff2407920d80715c6fa34ce4fc663e8dff76 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(** 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
val parse : string -> t
(** Splits on the first [:]. Raises [Unqualified] when no mg segment is
present (i.e. no colon, or empty mg / empty name). *)
val try_parse : string -> (t, Condition.t) result
val make : mg:string -> name:string -> t
val to_string : t -> string
|
