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_shallow_asset
  - Gen_storage
  - Gen_transform
  - 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_pt_type_contract
  - Printer_tools
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    List
    
    Exn
    
    Map
    
    Make
    
    S
    
    Mint
    
    Mstr
    
    Option
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Contract
    
    Function
    
    Label
    
    Local
    
    State
    
    TAction
    
    Type
    
    Var
    
    SecurityPred
    
    Type

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

| WITH
| WHEN
| VARIABLE
| VAR
| UTZ of Big_int.big_int
| USE
| UNMOVED
| UNDERSCORE
| TZ of Big_int.big_int
| TRUE
| TRANSITION
| TRANSFER
| TO
| THEN
| STRING of string
| STATES
| SPECIFICATION
| SORTED
| SOME
| SLASH
| SHADOW
| SEMI_COLON
| SECURITY
| RPAREN
| RETURN
| REQUIRE
| REMOVED
| REFUSE_TRANSFER
| REF
| RECORD
| RBRACKET
| RBRACE
| PREDICATE
| POSTCONDITION
| PLUSEQUAL
| PLUS
| PKEY
| PIPE
| PERCENT_LIT of Big_int.big_int
| PERCENTRBRACKET
| PERCENT
| PARTITION
| OTHERWISE
| OR
| OPTION
| ON
| OF
| NUMBER of Big_int.big_int
| NOT
| NONE
| NEQUAL
| NAMESPACE
| MULTEQUAL
| MULT
| MTZ of Big_int.big_int
| MINUSEQUAL
| MINUS
| MATCH
| LPAREN
| LIST
| LET
| LESSEQUAL
| LESS
| LBRACKETPERCENT
| LBRACKET
| LBRACE
| LABEL
| ITER
| INVARIANT
| INVALID_EXPR
| INVALID_EFFECT
| INVALID_DECL
| INITIALIZED
| INITIAL
| IN
| IMPLY
| IF
| IDENTIFIED
| IDENT of string
| GREATEREQUAL
| GREATER
| FUNCTION
| FROM
| FORALL
| FOR
| FALSE
| FAILIF
| FAIL
| EXTENSION
| EXISTS
| EQUIV
| EQUAL
| EOF
| ENUM
| END
| ELSE
| EFFECT
| DURATION of string
| DOT
| DONE
| DO
| DIVEQUAL
| DIV
| DEFINITION
| DECIMAL of string
| DATE of string
| CONTRACT
| CONSTANT
| COMMA
| COLONEQUAL
| COLON
| COLLECTION
| CALLED
| CALL
| BYTES of string
| BY
| BUT
| BREAK
| BEFORE
| AT_UPDATE
| AT_REMOVE
| AT_ADD
| AT
| ASSET
| ASSERT
| ARCHETYPE
| ANY
| AND
| ADDRESS of string
| ADDED
| ACTION
| ACCEPT_TRANSFER

exception Error

val start_expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.expr

val main : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.archetype

module MenhirInterpreter : sig ... end

module Incremental : sig ... end