package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

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

type t

type label_kind = [

| `Plain
| `Code
| `Loop of A.ptyp

]

type entry = [

| `Label of t * label_kind
| `State of statedecl
| `StateByCtor of statedecl * A.lident
| `Type of A.ptyp
| `Local of A.ptyp * locvarkind
| `Global of vardecl
| `Definition of definitiondecl
| `Asset of assetdecl
| `Record of recorddecl
| `Entry of t tentrydecl
| `Function of t fundecl
| `Predicate of preddecl
| `Field of Ident.ident * [ `Asset | `Record ]
| `Context of assetdecl * Ident.ident option

]

and locvarkind = [

| `Standard
| `Argument
| `LoopIndex

]

type ecallback = error -> unit

val create : ecallback -> t

val emit_error : t -> error -> unit

val name_free : t -> Ident.ident -> [ `Free | `Clash of Location.t option ]

val lookup_entry : t -> Ident.ident -> entry option

val open_ : t -> t

val close : t -> t

val inscope : t -> (t -> t * 'a) -> t * 'a

module Label : sig ... end

module Type : sig ... end

module Local : sig ... end

module Definition : sig ... end

module Var : sig ... end

module Function : sig ... end

module Predicate : sig ... end

module State : sig ... end

module Record : sig ... end

module Asset : sig ... end

module Tentry : sig ... end

module Context : sig ... end