Nsdef

nsdef:nsdef

nsdef — namespace-definition atoms; nsdef:<ns> holds a namespace's description.