Type Definition Atom
csl
type Atom = Atom<EmptyStaticAtomSet>;
Use this if you don’t care about static atoms.