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.