kdrag.theories.seq.Cons ======================= .. currentmodule:: kdrag.theories.seq .. autofunction:: Cons