-- a unique supply anywhere.
uniqSupply <- UniqSupply.mkSplitUniqSupply 'z'
let init_typestate = TypeState Map.empty [] Map.empty Map.empty env
-- a unique supply anywhere.
uniqSupply <- UniqSupply.mkSplitUniqSupply 'z'
let init_typestate = TypeState Map.empty [] Map.empty Map.empty env
return $ State.evalState session init_state
-- | Prepares the directory for writing VHDL files. This means creating the
return $ State.evalState session init_state
-- | Prepares the directory for writing VHDL files. This means creating the