kdrag.theories.seq.Unit

kdrag.theories.seq.Unit(x: ExprRef) → SeqRef

Construct a sequence of length 1.

Parameters:

x (ExprRef)

Return type:

SeqRef