val set_sorts: string list -> int -> int
-val get_sort: (unit -> 'a) -> (string -> 'a) -> int -> 'a
+val string_of_sort: (unit -> 'a) -> (string -> 'a) -> int -> 'a
+
+val sort_of_string: (unit -> 'a) -> (int -> 'a) -> string -> 'a
val graph_of_string: (unit -> 'a) -> (graph -> 'a) -> string -> 'a