let adt_decl lt = (ADTDecl.get_definition lt).Formula.d_name