let name_of_adt = ref (fun lt -> Printf.sprintf "<%s>" lt.lt_name)