package archetype

You can search for identifiers within the package.

in-package search v0.2.0

archetype
- Archetype
  - Ast
    
    Utils
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_model
  - Gen_reduce
  - 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
  - Mlwtree
  - Model
    
    Utils
  - Options
  - ParseError
  - ParseTree
    
    iter
    
    map
    
    reduce
    
    reduce2
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Position
  - Printer_ast
  - Printer_mlwtree
  - Printer_model
  - Printer_model_ligo
    
    LigoUtils
  - Printer_model_scaml
  - Printer_model_smartpy
  - Printer_model_tools
  - Printer_pt
  - Printer_pt_markdown
  - Printer_tools
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    List
    
    Exn
    
    Map
    
    Make
    
    S
    
    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

exception Anomaly of string

type error_desc =

| UnsupportedContainer of string
| UnsupportedType of string
| RecordNotFound
| NotSupportedType of string

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

val show_error_desc : error_desc -> Ppx_deriving_runtime.string

val emit_error : error_desc -> 'a

val storage_lident : Model.lident

val storage_var : Model.mterm

val operations_lident : Model.lident

val operations_type : Model.type_

val operations_var : Model.mterm

val operations_init : Model.mterm

val operations_storage_type : Model.type_

val operations_storage_var : Model.mterm

val simplify : Model.lident Model.mterm_gen -> Model.lident Model.mterm_gen

val is_fail : Model.mterm -> Model.mterm option -> bool

type s_red = {

with_ops : bool;
subs : (Ident.ident * Model.type_) list;

}

type ctx_red = {

local_fun_types : (Ident.ident * Model.type_) list;
vars : (Ident.ident * Model.type_) list;
target : Model.mterm option;

}

val compute_side_effect_aux : 
  ctx_red ->
  (Ident.ident * Model.type_) list ->
  Model.lident Model.mterm_gen ->
  (Ident.ident * Model.type_) list

val compute_side_effect : 
  ctx_red ->
  Model.mterm ->
  (Ident.ident * Model.type_) list

val compute_side_effect_for_list : 
  ctx_red ->
  Model.mterm list ->
  (Ident.ident * Model.type_) list

val process_non_empty_list_term : 
  Model.model ->
  ctx_red ->
  s_red ->
  Model.mterm list ->
  Model.mterm * s_red

val process_mtern : 
  Model.model ->
  ctx_red ->
  s_red ->
  Model.lident Model.mterm_gen ->
  Model.lident Model.mterm_gen * s_red

val process_body : Model.model -> ctx_red -> Model.mterm -> Model.mterm

val analyse_type : Model.mterm -> Model.type_

val process_functions : Model.model -> Model.model

val reduce : Model.model -> Model.model