Make (mavryk-micheline-rewriting.Mavryk_micheline_rewriting.Micheline_with_hash

Parameters

module X : Algebraic_signature.S

module P : sig ... end

type label = hcons_info

type head = X.t

type node = (label, head) Mavryk_micheline.Micheline.node

val default_label : label

val int : Z.t -> node

val string : string -> node

val bytes : Stdlib.Bytes.t -> node

val prim : head -> node list -> string list -> node

val seq : node list -> node

val label : node -> label