let domain s = List.map fst s;;