 
     case types do
      [] ->
-       IO.puts "No types for #{inspect module} has been found"
+       IO.puts "No types for #{inspect module}.#{type}/#{arity} have been found"
      [type] ->
        print_type(type)
     end

    types = lc type inlist Kernel.Typespec.beam_types(module), do: print_type(type)

    if types == [] do
      IO.puts "No types for #{inspect module} has been found"
    end

    :ok

    if spec do
      print_spec(spec)
    else
      IO.puts "No specs for #{inspect module}.#{function}/#{arity} have been found"
    end

    :ok
