From_Data.1-D
type domain
val to_domain : string list -> domain
val from_domain : domain -> string list