Module Mavryk_tree_encoding.Lazy_map_encoding

module type Lazy_map_sig = sig ... end
module type S = sig ... end
module Make (Map : Lazy_map_sig) : S with type 'a map := 'a Map.t

Make (YouMap) creates a module with the lazy_map combinator which can be used to decode YouMap specifically.