package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- Archetype
  - Ast
    
    Utils
  - Compile
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_decompile
  - Gen_extra
  - Gen_michelson
    
    MapString
  - Gen_model
  - Gen_storage
  - Gen_transform
    
    MapString
    
    SetString
  - Gen_why3
  - Ident
    
    Mid
    
    Sid
    
    ident_iter
    
    ident_map
    
    ident_reduce
    
    ident_reduce2
  - Io
  - Lexer
  - Location
    
    location_iter
    
    location_map
    
    location_reduce
    
    location_reduce2
  - Lsp
  - Michelson
    
    Utils
  - Michelson_lexer
  - Michelson_parser
    
    Incremental
    
    MenhirInterpreter
  - Mlwtree
  - Model
    
    Utils
  - Mtools
  - Opt_model
  - Options
  - ParseError
  - ParseTree
    
    iter
    
    map
    
    reduce
    
    reduce2
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Position
  - Printer_ast
  - Printer_michelson
  - Printer_mlwtree
  - Printer_model
  - Printer_model_tools
  - Printer_pt
  - Printer_pt_markdown
  - Printer_tools
  - Pt_helper
  - PureLexer
    
    Lexer
  - Services
  - Symbol
  - Tools
    
    Bool
    
    List
    
    Exn
    
    Map
    
    Make
    
    Mint
    
    Mstr
    
    Option
    
    Sstr
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Definition
    
    Function
    
    Label
    
    Local
    
    Predicate
    
    Record
    
    State
    
    Tentry
    
    Type
    
    Var
    
    SecurityPred
    
    Type
    
    Michelson

Legend:
Library
Module
Module type
Parameter
Class
Class type

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_or : A.ptyp -> (A.ptyp * A.ptyp) option

val as_lambda : A.ptyp -> (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_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 = [

| `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