Micheline_without_hash_consing.Make
module X : Algebraic_signature.S
module Label : sig ... end
type label = Label.t
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