Module div_handle
div
Defines operations allowed on DivHandles
Almost the entire library interface is defined in this module.
A light-weight key to refer to the state necessary to manipulate a div.