let get_sorts (finite_domain: finite_domain) : sorts =
  finite_domain.sorts