Module `Tjr_fs_shared__Blk_intf.Blk_dev_ops`

type ('blk_id, 'blk, 't) blk_dev_ops = { blk_sz : blk_sz; write : blk_id:'blk_id -> blk:'blk -> (unit, 't) Tjr_monad.m; read : blk_id:'blk_id -> ('blk, 't) Tjr_monad.m; write_many : ('blk_id * 'blk) list -> (unit, 't) Tjr_monad.m; }: A block device: read and write blocks.