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