Language.Atom.Elaboration
data Atom a
data AtomDB
data Global
data Rule
data StateHierarchy
buildAtom
type UID
type Name
data Phase
type Path
elaborate
var
var'
array
array'
addName
get
put
allUVs
allUEs