Data.Machine.Moore

data Moore a b

logMoore

unfoldMoore