Module:If empty/doc

This module implements If empty.