sig val show_obj : 'a -> string val print_obj : 'a -> unit end