tlseq is a sequencer that reads in an ftlist. It takes in a clock signal clk and an ftlist lst.
tlseq
clk
lst
(define (tlseq clk lst) (param clk) (lst) (rvl "tlseq"))