Block.Block_Forward
val sizeof : 'a -> 'b
val concat : 'a -> 'b
val load : size:'a -> 'b -> 'c
val store : size:'a -> 'b -> 'c
val binary_to_block : size:'a -> 'b