R/plaintext.R
set_length.Rd
Set the effective length of a plaintext
set_length(pt, len)
A Plaintext
Integer length