[][src]Type Definition csl::Atom

type Atom = Atom<EmptyStaticAtomSet>;

Use this if you don’t care about static atoms.