newat

From the SETL Wiki

newat
Category	atom
Syntax	nullary
Compatibility
CIMS SETL	yes
SETL-S	yes
SETL2	yes
GNU SETL	yes

Contents 1 Purpose 2 Synopsis 3 Description 4 Examples

Purpose

Generate a new, unique atom

Synopsis

 newat

Description

Generates a new atom, distinct from every atom (and every non-atom value) previously encountered.

Examples

• x := newat;
  

  Assigns a new, unique atom to x.