--- A map of a Core type to the corresponding type name (and optionally, it's
--- declaration for non-primitive types).
-type TypeMap = Map.Map OrdType (AST.VHDLId, AST.TypeDec)
+-- A map of a Core type to the corresponding type name
+type TypeMap = Map.Map OrdType (AST.VHDLId, AST.TypeDef)
+
+-- A map of a vector Core type to the coressponding VHDL functions
+type TypeFunMap = Map.Map OrdType [AST.SubProgBody]