ppSequentialEntry :: SequentialEntry -> Doc
ppSequentialEntry (SequentialEntry inputs state next_state)
  = hsep (map (either ppLevelSymbol ppEdge) inputs) <+> colon <+>
    ppLevelSymbol state <+> colon <+> ppNextState next_state <> semi
ppSequentialEntry :: SequentialEntry -> Doc
ppSequentialEntry (SequentialEntry inputs state next_state)
  = hsep (map (either ppLevelSymbol ppEdge) inputs) <+> colon <+>
    ppLevelSymbol state <+> colon <+> ppNextState next_state <> semi
ppSequentialEntry (SequentialEntry inputs state next_state)
  = hsep (map (either ppLevelSymbol ppEdge) inputs) <+> colon <+>
    ppLevelSymbol state <+> colon <+> ppNextState next_state <> semi