Mavryk_tree_encoding.CBV_encoding
module type CBV_sig = sig ... end
module type S = sig ... end
module Make (CBV : CBV_sig) : S with type cbv := CBV.t and type chunk := CBV.chunk