Pattern (mavryk-micheline-rewriting.Mavryk_micheline

module type S = sig ... end

module Make
  (X : Algebraic_signature.S)
  (Micheline : Micheline_sig.S with type head = X.t)
  (Path : Path.S) : 
  S with type head = X.t and type path = Path.t and type node = Micheline.node

module Make_with_hash_consing
  (X : Algebraic_signature.S)
  (Micheline : 
    Micheline_sig.S
      with type head = X.t
       and type label = Micheline_with_hash_consing.hcons_info)
  (Path : Path.S) : 
  sig ... end