Module Archetype.Gen_extra

module PT = ParseTree
module T = Michelson
type error_desc =
| TypeNotCompatible of T.type_ * PT.expr
val pp_error_desc : Core.Format.formatter -> error_desc -> unit
type error = Location.t * error_desc
val emit_error : (Location.t * error_desc) -> int -> 'a
val string_to_ttype : ?⁠entrypoint:Tools.String.t -> string -> T.type_
val to_model_expr : PT.expr -> T.data
val extract_from_micheline : Tools.String.t -> T.obj_micheline -> T.obj_micheline
val show_entries : T.obj_micheline -> unit