Dest.Names_and_widths
val t : (Base.string * Base.int) Base.list
val port_names : Base.string Base.list
val port_widths : Base.int Base.list
val tags : tag Base.list