Int_int.S
type k
= S'.k
val k_cmp : k -> k -> int
type v
= S'.v
type a
= (k, v) Tjr_fs_shared.kvop
val simple_plist_factory : (a, Tjr_fs_shared.Shared_ctxt.blk_id, Tjr_fs_shared.Shared_ctxt.blk, Tjr_fs_shared.Shared_ctxt.buf, Tjr_fs_shared.Shared_ctxt.t) Tjr_plist.simple_plist_factory