Evaluated proc dox {who type val} {}