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