-- ----------------------------------------------------------------------------
-- 5. Behavioral Statements

ppStatement :: Statement -> Doc
ppStatement (BlockingAssignment x ctrl expr)
  = ppLValue x <+> equals <+> mb ppAssignmentControl ctrl <+> ppExpr expr <> semi
ppStatement :: Statement -> Doc
ppStatement (BlockingAssignment x ctrl expr)
  = ppLValue x <+> equals <+> mb ppAssignmentControl ctrl <+> ppExpr expr <> semi
ppStatement (BlockingAssignment x ctrl expr)
  = ppLValue x <+> equals <+> mb ppAssignmentControl ctrl <+> ppExpr expr <> semi