{"library":"hwtypes","install":[{"cmd":"pip install hwtypes","imports":["from hwtypes import Bit","from hwtypes import BitVector","from hwtypes import UInt","from hwtypes import SInt"]}]}