Module Mavryk_micheline_rewriting.Micheline_with_hash_consing

type hcons_info = {
  1. tag : int;
  2. hash : int;
}
module Make (X : Algebraic_signature.S) (P : sig ... end) : Micheline_sig.S with type label = hcons_info and type head = X.t