Region_probs.Data_S
type domain
val to_domain : string list -> domain
val from_domain : domain -> string list