insertConstVal :: Monad m => ConstId -> Int -> BuilderT g m ()
insertConstVal !id !val = bs_circ . circ_const_vals . at (getConstId id) ?= val
insertConstVal :: Monad m => ConstId -> Int -> BuilderT g m ()
insertConstVal !id !val = bs_circ . circ_const_vals . at (getConstId id) ?= val
insertConstVal !id !val = bs_circ . circ_const_vals . at (getConstId id) ?= val