Module `Mavryk_micheline_rewriting.Micheline_without_hash_consing`

module Make
  (X : Algebraic_signature.S)
  (Label : sig ... end) : 
  Micheline_sig.S with type label = Label.t and type head = X.t