sig val output_package : Pervasives.out_channel -> Napkin.default_package -> unit val output_package_list : Pervasives.out_channel -> Napkin.default_package list -> unit end