print.cast_df(x, digits=getOption("digits"), ..., colnames=TRUE)
x
digits
...
colnames
Hadley Wickham <h.wickham@gmail.com>