Concise info on creating and using a module without core and base

doc/src/manual/modules.md

@@ -325,7 +325,30 @@ include(p) = Base.include(Mod, p)
 end
 ```
 
-If even `Core` is not wanted, a module that imports nothing and defines no names at all can be defined with `Module(:YourNameHere, false, false)` and code can be evaluated into it with [`@eval`](@ref) or [`Core.eval`](@ref).
+If even `Core` is not wanted, a module that imports nothing and defines no names at all can be defined with `Module(:YourNameHere, false, false)` and code can be evaluated into it with [`@eval`](@ref) or [`Core.eval`](@ref):
+```jldoctest
+julia> arithmetic = Module(:arithmetic, false, false)
+Main.arithmetic
+
+julia> @eval arithmetic add(x, y) = $(+)(x, y)
+add (generic function with 1 method)
+
+julia> """
+           add(x, y)
+
+       This sums up `x` and `y` and returns the result.
+       """
+       arithmetic.add
+Main.arithmetic.add
+
+help?> arithmetic.add
+  add(x, y)
+
+  This sums up x and y and returns the result.
+
+julia> arithmetic.add(12, 13)
+25
+```
 
 ### Standard modules