chore(library/hott/trunc): remove `set_option`