package archetype

  1. Overview
  2. Docs
val as_builtin : A.ptyp -> A.vtyp option
val as_container : A.ptyp -> (A.ptyp * A.container) option
val as_asset : A.ptyp -> A.lident option
val as_asset_collection : A.ptyp -> (A.lident * A.container) option
val as_contract : A.ptyp -> A.ptyp option
val as_tuple : A.ptyp -> A.ptyp list option
val as_option : A.ptyp -> A.ptyp option
val as_set : A.ptyp -> A.ptyp option
val as_list : A.ptyp -> A.ptyp option
val as_map : A.ptyp -> (A.ptyp * A.ptyp) option
val as_big_map : A.ptyp -> (A.ptyp * A.ptyp) option
val as_iterable_big_map : A.ptyp -> (A.ptyp * A.ptyp) option
val as_or : A.ptyp -> (A.ptyp * A.ptyp) option
val as_lambda : A.ptyp -> (A.ptyp * A.ptyp) option
val as_content_array : A.ptyp -> A.ptyp option
val is_asset : A.ptyp -> bool
val is_numeric : A.ptyp -> bool
val is_address : A.ptyp -> bool
val is_currency : A.ptyp -> bool
val is_primitive : A.ptyp -> bool
val is_contract : A.ptyp -> bool
val is_option : A.ptyp -> bool
val is_set : A.ptyp -> bool
val is_list : A.ptyp -> bool
val is_map : A.ptyp -> bool
val is_big_map : A.ptyp -> bool
val is_iterable_big_map : A.ptyp -> bool
val is_lambda : A.ptyp -> bool
val is_or : A.ptyp -> bool
module Michelson : sig ... end
val support_eq : A.ptyp -> bool
val equal : A.ptyp -> A.ptyp -> bool
val sig_equal : A.ptyp list -> A.ptyp list -> bool
val compatible : ?autoview:bool -> ?for_eq:bool -> from_:A.ptyp -> to_:A.ptyp -> bool
val distance : from_:A.ptyp -> to_:A.ptyp -> int option
val sig_compatible : from_:A.ptyp list -> to_:A.ptyp list -> bool
val sig_distance : from_:A.ptyp list -> to_:A.ptyp list -> int option
val join : ?autoview:bool -> A.ptyp list -> A.ptyp option
type trestr = [
  1. | `MichelsonPackable
]
exception UnificationFailure
val unify : ?restr:trestr Tools.Mint.t -> ptn:A.ptyp -> tg:A.ptyp -> A.ptyp Tools.Mint.t Stdlib.ref -> unit
val subst : A.ptyp Tools.Mint.t -> A.ptyp -> A.ptyp
val pktype : A.ptyp -> bool
val create_tuple : A.ptyp list -> A.ptyp