let pp_class_def the_klass = Format.sprintf "@[<v>@,{@[<v 2>@,klass = %s,@,parent = %s,@,sections = %s@]@,}@]" the_klass.klass (pp_opt _id the_klass.parent) (pp_class_sections the_klass.sections 3)