Module Mavryk_tree_encoding.Encodings_util

module type Bare_mavryk_context_sig = sig ... end
module type S = sig ... end
module Make (Ctx : Bare_mavryk_context_sig) : S with type t = Ctx.t and type Tree.tree = Ctx.tree