Kernel.Lang
type label
type head = Mavryk_benchmark_type_inference_alpha.Mikhailsky.Mikhailsky_signature.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