package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- CHANGES
- README
- Library archetype
  - Archetype
    
    Ast
    
    Utils
    
    Compile
    
    Core
    
    Format
    
    Error
    
    Extract_w
    
    M
    
    MapString
    
    Gen_api_storage
    
    Gen_decompile
    
    T
    
    M
    
    A
    
    Decomp_dir
    
    Decomp_model
    
    Gen_extra
    
    PT
    
    T
    
    Gen_michelson
    
    M
    
    T
    
    MapString
    
    Gen_model
    
    A
    
    M
    
    Gen_storage
    
    Gen_transform
    
    MapString
    
    SetString
    
    Gen_why3
    
    M
    
    Ident
    
    ident_map
    
    ident_iter
    
    ident_reduce
    
    ident_reduce2
    
    Mid
    
    Sid
    
    Io
    
    Lexer
    
    Location
    
    location_map
    
    location_iter
    
    location_reduce
    
    location_reduce2
    
    Lsp
    
    PT
    
    Micheline
    
    Micheline_printer
    
    Michelson
    
    Utils
    
    Michelson_lexer
    
    Michelson_parser
    
    MenhirInterpreter
    
    Incremental
    
    Mlwtree
    
    Model
    
    Utils
    
    Mtools
    
    P
    
    M
    
    Mtyping
    
    M
    
    Ty
    
    Stack
    
    Opt_model
    
    Options
    
    ParseError
    
    ParseTree
    
    map
    
    iter
    
    reduce
    
    reduce2
    
    Parser
    
    MenhirInterpreter
    
    Incremental
    
    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
    
    String
    
    Option
    
    List
    
    Exn
    
    Map
    
    OrderedType
    
    Make
    
    Set
    
    OrderedType
    
    Make
    
    Sint
    
    Mint
    
    Sstr
    
    Mstr
    
    Typing
    
    L
    
    PT
    
    A
    
    Type
    
    Michelson
    
    Env
    
    Label
    
    Type
    
    Local
    
    Definition
    
    Var
    
    Function
    
    Predicate
    
    State
    
    Record
    
    Asset
    
    Tentry
    
    Context
    
    SecurityPred
    
    UF
    
    Mint
    
    UF
- Sources
  - archetype
    
    UF.ml
    
    archetype.ml
    
    ast.ml
    
    compile.ml
    
    core.ml
    
    error.ml
    
    extract_w.ml
    
    gen_api_storage.ml
    
    gen_decompile.ml
    
    gen_extra.ml
    
    gen_michelson.ml
    
    gen_model.ml
    
    gen_storage.ml
    
    gen_transform.ml
    
    gen_why3.ml
    
    ident.ml
    
    io.ml
    
    lexer.ml
    
    location.ml
    
    lsp.ml
    
    micheline.ml
    
    micheline_printer.ml
    
    michelson.ml
    
    michelson_lexer.ml
    
    michelson_parser.ml
    
    mlwtree.ml
    
    model.ml
    
    mtools.ml
    
    mtyping.ml
    
    opt_model.ml
    
    options.ml
    
    parseError.ml
    
    parseTree.ml
    
    parser.ml
    
    position.ml
    
    printer_ast.ml
    
    printer_michelson.ml
    
    printer_mlwtree.ml
    
    printer_model.ml
    
    printer_model_tools.ml
    
    printer_pt.ml
    
    printer_pt_markdown.ml
    
    printer_tools.ml
    
    pt_helper.ml
    
    pureLexer.ml
    
    services.ml
    
    symbol.ml
    
    tools.ml
    
    typing.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Typing.Type`Source

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

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

Sourceval as_asset : A.ptyp -> A.lident option

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

Sourceval as_lambda : A.ptyp -> (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_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

val 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 = [

| `MichelsonPackable

]

Sourceexception UnificationFailure

val unify : 
  ?restr:trestr Tools.Mint.t ->
  ptn:A.ptyp ->
  tg:A.ptyp ->
  A.ptyp Tools.Mint.t ref ->
  unit

Sourceval subst : A.ptyp Tools.Mint.t -> A.ptyp -> A.ptyp

Sourceval pktype : A.ptyp -> bool

Sourceval create_tuple : A.ptyp list -> A.ptyp