type thy_addon = {sig_ps : (ppstream -> unit) option,
                     struct_ps : (ppstream -> unit) option}

packages up the arguments to adjoin_to_theory. The sig_ps argument is an optional prettyprinter, which will be invoked when the theory signature file is written. The struct_ps argument is an optional prettyprinter invoked when the theory structure file is written.