let
define x = ignore (get_definition x)