package archetype

  1. Overview
  2. Docs

Module Typing.TypeSource

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