sig val enabled_domains : unit -> (string * string) list end