archetype 1.3.2 · OCaml Package

val pp_type : Format.formatter -> Michelson.type_ -> unit

val pp_pretty_type : Format.formatter -> Michelson.type_ -> unit

val pp_data : Format.formatter -> Michelson.data -> unit

val pp_code : Core.Format.formatter -> Michelson.code -> unit

val pp_id : Format.formatter -> string -> unit

val pp_zop : Format.formatter -> Michelson.z_operator -> unit

val pp_uop : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  (Michelson.un_operator * 'a) ->
  unit

val pp_bop : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  (Michelson.bin_operator * 'a * 'a) ->
  unit

val pp_top : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  (Michelson.ter_operator * 'a * 'a * 'a) ->
  unit

val pp_instruction : Format.formatter -> Michelson.instruction -> unit

val pp_ritem : Core.Format.formatter -> Michelson.ritem -> unit

val pp_ruitem : Format.formatter -> Michelson.ruitem -> unit

val pp_func : Format.formatter -> Michelson.func -> unit

val pp_entry : Format.formatter -> Michelson.entry -> unit

val pp_ir : Format.formatter -> Michelson.ir -> unit

val pp_view_struct : Format.formatter -> Michelson.view_struct -> unit

val pp_michelson : Format.formatter -> Michelson.michelson -> unit

val pp_a : Format.formatter -> (string * string) -> unit

val pp_b : Format.formatter -> (string * string) -> unit

val pp_prim : 
  Format.formatter ->
  (Core.Format.formatter -> Michelson.obj_micheline -> unit) ->
  Michelson.prim ->
  unit

val pp_obj_micheline : Format.formatter -> Michelson.obj_micheline -> unit

val pp_micheline : Format.formatter -> Michelson.micheline -> unit

val pp_dcode : Format.formatter -> Michelson.dcode -> unit

val pp_dinstr : Format.formatter -> Michelson.dinstr -> unit

val pp_expr : Format.formatter -> Michelson.dexpr -> unit

val pp_var : Format.formatter -> Michelson.dvar -> unit

val pp_dprogram : Format.formatter -> Michelson.dprogram -> unit

val pp_javascript_header : Format.formatter -> 'a -> unit

val pp_javascript_content : Format.formatter -> Michelson.micheline -> unit

val pp_javascript : Format.formatter -> Michelson.micheline -> unit

val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string

val show_pretty_type : Michelson.type_ -> string

val show_model : Michelson.michelson -> string

package archetype