archetype 1.4.2 · OCaml Package

val as_builtin : A.ptyp -> A.vtyp option

val as_container : A.ptyp -> (A.ptyp * A.container) option

val as_asset : A.ptyp -> A.longident option

val as_asset_collection : A.ptyp -> (A.longident * 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 = [

]

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

package archetype