ForSyDe.Shallow.Memory

data Memory a

data Access a

type MemSize

type Adr

newMem

memState

memOutput