Imandrakit_leb128
LEB128 encoding and decoding.
See https://en.wikipedia.org/wiki/LEB128 .
module Decode : sig ... end
module Encode : sig ... end