Language.Atom.Elaboration

Atom monad and container.

data Atom a
data AtomDB
data Global
data Rule

Type Aliases and Utilities

type UID
type Name
data Phase
type Path