Module Isa_btree__Isa_btree_intf.Dnode_type
type ('node, 'leaf) dnode= ('node, 'leaf) Isa_btree.Isa_export.Disk_node.dnode=|Disk_node of 'node|Disk_leaf of 'leafRecall
dnodetype
Isa_btree__Isa_btree_intf.Dnode_typetype ('node, 'leaf) dnode = ('node, 'leaf) Isa_btree.Isa_export.Disk_node.dnode = | Disk_node of 'node |
| Disk_leaf of 'leaf |
Recall dnode type