package archetype

  1. Overview
  2. Docs
module T = Michelson
type type_kind =
  1. | Type
  2. | Init of string
val to_type : type_kind -> Stdlib.Format.formatter -> Model.type_ -> unit
val compute_type : Model.model -> Model.record -> Archetype__Michelson.obj_micheline
type input_event = {
  1. r : Model.record;
  2. ty : T.obj_micheline;
}
val mk_input_event : Model.record -> T.obj_micheline -> input_event
val pp_none : 'a -> 'b -> unit
val process : Options.language -> Model.model -> string