Document DIExpression.