parameters: (s)
return_statement: return isinstance(s, FiniteDomainSortRef)
docstring: Return True if `s` is a Z3 finite-domain sort.
  
      >>> is_finite_domain_sort(FiniteDomainSort('S', 100))
      True
      >>> is_finite_domain_sort(IntSort())
      False
docstring_summary: Return True if `s` is a Z3 finite-domain sort.
docstring_tokens: Return True if s is a Z3 finite - domain sort .
function: def is_finite_domain_sort(s):
      """Return True if `s` is a Z3 finite-domain sort.
  
      >>> is_finite_domain_sort(FiniteDomainSort('S', 100))
      True
      >>> is_finite_domain_sort(IntSort())
      False
      """
      return isinstance(s, FiniteDomainSortRef)
function_tokens: def is_finite_domain_sort ( s ) : return isinstance ( s , FiniteDomainSortRef )