dbl_new()
instantiates a newdbl
node.dbl_type()
checks if the node is adbl
node.dbl_<child>_get()
returns the<child>
node ofdbl
.dbl_<child>_set()
sets the new<child>
and deletes the old<child>
.dbl_<child>_rep()
sets the new<child>
and returns the old<child>
.