Module `Examples.Int_r`

type k = int
type v = Tjr_fs_shared.Shared_ctxt.r
type r = Tjr_fs_shared.Shared_ctxt.r
type t = Tjr_fs_shared.Shared_ctxt.t
type node
type leaf
type ls
type blk = Tjr_fs_shared.ba_buf
type wbc

val btree_factory : (k, v, r, t, leaf, node, (node, leaf) Isa_btree.dnode, ls, blk, wbc) btree_factory