package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Typing.TypeSource

Sourceval as_container : M.ptyp -> (M.ptyp * M.container) option
Sourceval as_asset : M.ptyp -> M.lident option
Sourceval as_asset_collection : M.ptyp -> (M.lident * M.container) option
Sourceval as_contract : M.ptyp -> M.lident option
Sourceval as_tuple : M.ptyp -> M.ptyp list option
Sourceval as_option : M.ptyp -> M.ptyp option
Sourceval as_list : M.ptyp -> M.ptyp option
Sourceval is_numeric : M.ptyp -> bool
Sourceval is_currency : M.ptyp -> bool
Sourceval is_primitive : M.ptyp -> bool
Sourceval is_option : M.ptyp -> bool
Sourceval is_list : M.ptyp -> bool
Sourceval support_eq : M.ptyp -> bool
Sourceval equal : M.ptyp -> M.ptyp -> bool
Sourceval sig_equal : M.ptyp list -> M.ptyp list -> bool
Sourceval compatible : from_:M.ptyp -> to_:M.ptyp -> bool
Sourceval distance : from_:M.ptyp -> to_:M.ptyp -> int option
Sourceval sig_compatible : from_:M.ptyp list -> to_:M.ptyp list -> bool
Sourceval sig_distance : from_:M.ptyp list -> to_:M.ptyp list -> int option
Sourceval join : M.ptyp list -> M.ptyp option
Sourceval unify : ptn:M.ptyp -> tg:M.ptyp -> M.ptyp Tools.Mint.t option
Sourceval pktype : M.ptyp -> bool