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