--------------------------------------------------------------------------------
-- operations

setSymlen :: Monad m => SymId -> Int -> BuilderT g m ()
setSymlen !id !n = bs_circ . circ_symlen . at (getSymId id) ?= n
setSymlen :: Monad m => SymId -> Int -> BuilderT g m ()
setSymlen !id !n = bs_circ . circ_symlen . at (getSymId id) ?= n
setSymlen !id !n = bs_circ . circ_symlen . at (getSymId id) ?= n