module Empty (P : DISKPARAMS) : DISKDATA =   struct     let block_size = P.block_size     let block_nb = P.block_nb     let blocks =       let create_block i = Array.make block_size 0 in       Array.init block_nb create_block   end