added pretty print for udecl