is_setenum : term -> bool

SYNOPSIS
Tests if a term is a set enumeration.

DESCRIPTION
When applied to a term that is an explicit set enumeration `{t1,...,tn}`, the function is_setenum returns true; otherwise it returns false.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # is_setenum `1 INSERT 2 INSERT {}`;;
  val it : bool = true

  # is_setenum `{1,2,3,4,1,2,3,4}`;;
  val it : bool = true

  # is_setenum `1 INSERT 2 INSERT s`;;
  val it : bool = false

SEE ALSO
dest_setenum, mk_fset, mk_setenum.