type ('blk_id, 't) blk_allocator_ops = {blk_alloc : unit -> ('blk_id, 't) Tjr_monad.m; |
blk_free : 'blk_id -> (unit, 't) Tjr_monad.m; |
}NOTE we assume alloc never fails, or that error is handled elsewhere in the monad; fields were named alloc and free