package archetype

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val as_asset : M.ptyp -> M.lident option

val as_asset_collection : M.ptyp -> (M.lident * M.container) option

val as_contract : M.ptyp -> M.lident option

val as_tuple : M.ptyp -> M.ptyp list option

val as_option : M.ptyp -> M.ptyp option

val as_list : M.ptyp -> M.ptyp option

val is_numeric : M.ptyp -> bool

val is_currency : M.ptyp -> bool

val is_primitive : M.ptyp -> bool

val is_option : M.ptyp -> bool

val is_list : M.ptyp -> bool

val support_eq : M.ptyp -> bool

val equal : M.ptyp -> M.ptyp -> bool

val sig_equal : M.ptyp list -> M.ptyp list -> bool

val compatible : from_:M.ptyp -> to_:M.ptyp -> bool

val distance : from_:M.ptyp -> to_:M.ptyp -> int option

val sig_compatible : from_:M.ptyp list -> to_:M.ptyp list -> bool

val sig_distance : from_:M.ptyp list -> to_:M.ptyp list -> int option

val join : M.ptyp list -> M.ptyp option

val unify : ptn:M.ptyp -> tg:M.ptyp -> M.ptyp Tools.Mint.t option

val subst : M.ptyp Tools.Mint.t -> M.ptyp -> M.ptyp

val pktype : M.ptyp -> bool