Language.Atom.Language
type Atom
atom
period
getPeriod
phase
exactPhase
getPhase
cond
class Assign a
incr
decr
var
var'
array
array'
bool
bool'
int8
int8'
int16
int16'
int32
int32'
int64
int64'
word8
word8'
word16
word16'
word32
word32'
word64
word64'
float
float'
double
double'
action
call
probe
probes
assert
cover
assertImply
type Name
liftIO
path
clock
nextCoverage