Parameter Api.NewPrint

type aux_info
val new_print : aux_info -> print_object