let
print_funct_fancy name x f = print
" %s : %s --> %s\n"
name x (string_of_funct (canonic f))