from typing import Literal

TechName = Literal["sky130A", "ihp-sg13g2", "gf180mcuD"]