package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- Archetype
  - Ast
    
    Utils
  - Binding
  - Compile
  - Core
    
    Format
  - Error
  - Extract_w
    
    MapString
  - Gen_api_storage
  - Gen_decompile
    
    Decomp_dir
    
    Decomp_model
  - 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
  - Micheline
  - Micheline_printer
  - Michelson
    
    Utils
  - Michelson_lexer
  - Michelson_parser
    
    Incremental
    
    MenhirInterpreter
  - Mlwtree
  - Model
    
    Utils
  - Mtools
  - Mtyping
    
    Stack
    
    Ty
  - 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
    
    S
    
    Mint
    
    Mstr
    
    Option
    
    Set
    
    Make
    
    S
    
    Sint
    
    Sstr
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Definition
    
    Event
    
    Function
    
    Label
    
    Local
    
    Predicate
    
    Record
    
    State
    
    Tentry
    
    Type
    
    Var
    
    SecurityPred
    
    Type
    
    Michelson
  - UF
    
    UF

Legend:
Library
Module
Module type
Parameter
Class
Class type

module M = Model

module T = Michelson

module MapString : sig ... end

exception Anomaly of string

val complete_tree_entrypoints : bool

val with_macro : bool

val divbyzero : string

val entrynotfound : string

type error_desc =

| FieldNotFoundFor of string * string
| UnsupportedTerm of string
| StackEmptyDec
| StackIdNotFound of string * string list
| NoConcreteImplementationFor of string
| TODO

val show_error_desc : error_desc -> Ppx_deriving_runtime.string

val pp_error_desc : Format.formatter -> error_desc -> unit

val emit_error : error_desc -> 'a

val is_rat : (M.ntype * 'a) -> bool

val get_fun_name : Archetype__Michelson.builtin -> Ident.ident

val operations : string

val fun_result : string

val mk_fannot : string -> string

val rar : T.type_ -> T.type_

type env_ir = {

function_p : (Ident.ident * (Ident.ident * T.type_) list) option;

}

val shape_entrypoints : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a

val to_one_type : T.type_ list -> T.type_

val to_one_type_or : T.type_ list -> T.type_

val to_one_data : T.data list -> T.data

val to_one_gen : 'a -> ('a -> 'a -> 'a) -> 'a list -> 'a

val to_type : M.model -> ?annotation:Ident.ident -> M.type_ -> T.type_

val to_ir : M.model -> T.ir

val map_implem : (string * T.code list) list

val concrete_michelson : Archetype__Michelson.builtin -> T.code

type env = {

vars : Ident.ident list;
fail : bool;

}

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

val show_env : env -> Ppx_deriving_runtime.string

val mk_env : ?vars:Ident.ident list -> unit -> env

val fail_env : env -> env

val inc_env : env -> env

val dec_env : env -> env

val add_var_env : env -> Ident.ident -> env

val get_sp_for_id : env -> Tools.String.t -> int

val head_env : env -> Tools.String.t -> env

val print_env : ?str:string -> env -> Ppx_deriving_runtime.unit

val instruction_to_code : env -> T.instruction -> T.code * env

val process_data : T.data -> T.data

val to_michelson : T.ir -> T.michelson