Module Tjr_fs_shared__Blk_intf.Blk_ops
type ('blk, 'buf) blk_ops={blk_sz : blk_sz;blk_to_buf : 'blk -> 'buf;buf_to_blk : 'buf -> 'blk;}NOTE the conversion to blk checks the length
Tjr_fs_shared__Blk_intf.Blk_opstype ('blk, 'buf) blk_ops = {blk_sz : blk_sz; |
blk_to_buf : 'blk -> 'buf; |
buf_to_blk : 'buf -> 'blk; |
}NOTE the conversion to blk checks the length