ppe ~name pp make a new pretty-printer which shows your value like "(name %a)" pp value.
module Pair : sig ... endmodule Option : sig ... endmodule BaseIso : sig ... endHelper for some convenience bijection elements.
module MakeDecoder : functor (A : sig ... end) -> sig ... endMakeDecoder makes a module which respects the interface S.DECODER from an angstrom decoder.
module MakeInflater : functor (Z : sig ... end) -> functor (A : sig ... end) -> sig ... endMakeInflater makes a module which respects the interface S.DECODER from an angstrom decoder and an inflate implementation.
module MakeEncoder : functor (M : sig ... end) -> sig ... endMakeEncoder makes a module which respects the interface S.ENCODER from a S.MINIENC.encoder. This module (instead MakeEncoder allocates one buffer from a size specified by the user. However this size must be a power of two.
module MakeDeflater : functor (Z : sig ... end) -> functor (M : sig ... end) -> sig ... endMakeDeflater makes a module which respects the interface S.ENCODER from a S.MINIENC.encoder. As MakeEncoder, this module allocates one buffer from a size specified by the user. However this size must be a power of two.
val digest : (module Git__S.HASH with type t = 'hash) -> (module Git__S.ENCODER with type error = Error.never and type init = Cstruct.t * 't and type t = 't) -> etmp:Cstruct.t -> tmp:Cstruct.t -> kind:string -> length:('t -> int64) -> 't -> 'hashfdigest (module Hash) (module Encoder) ?capacity ~tmp ~kind ~length value digests value with the Hash implementation and use the Encoder to stream on the Hash.digest function.
?capacity is the size of the internal buffer used to serialize your value (must be a power of two).
kind is the kind of the value (Commit, Blob, etc.) to make the Git header in top of the serialized value.
length is the function which calculate the weight of the value when it is serialized.
tmp is aan internal buffer used to store the stream of the encoder and used by Hash.digest.
module type ENCODER = sig ... endmodule type DECODER = sig ... end