type node = (location, string) Micheline.nodeval printable :
?comment:(Micheline.canonical_location -> string option) ->
('a -> 'b) ->
'a Micheline.canonical ->
(location, 'b) Micheline.nodeval print_comment : Format.formatter -> string -> unitval print_string : Format.formatter -> string -> unitval print_annotations : Format.formatter -> string list -> unitval preformat :
(location, string) Micheline.node ->
(bool * int * location, string) Micheline.nodeval with_unbounded_formatter :
Format.formatter ->
(Format.formatter -> 'a -> 'b) ->
'a ->
unitval print_expr_unwrapped :
Format.formatter ->
(location, string) Micheline.node ->
unitval print_expr : Format.formatter -> (location, string) Micheline.node -> unit