UniqueLogic.ST.TF.Example.Verify

data Assign

type Assigns

data TrackedNumber a

tn1

tn2

class ToTrackedNumber a

data Track m a

data Exception

type Variable s

globalVariable

match

inconsistency

logUpdate

example