package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- Archetype
  - Ast
    
    Utils
  - Compile
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_decompile
  - 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
  - Michelson
    
    Utils
  - Michelson_lexer
  - Michelson_parser
    
    Incremental
    
    MenhirInterpreter
  - Mlwtree
  - Model
    
    Utils
  - Mtools
  - 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
    
    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 No_value

exception Unsupported_yet

exception Anomaly

val id : 'a -> 'a

val (|@) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

val proj3_1 : ('a * 'b * 'c) -> 'a

val proj3_2 : ('a * 'b * 'c) -> 'b

val proj3_3 : ('a * 'b * 'c) -> 'c

val proj4_1 : ('a * 'b * 'c * 'd) -> 'a

val proj4_2 : ('a * 'b * 'c * 'd) -> 'b

val proj4_3 : ('a * 'b * 'c * 'd) -> 'c

val proj4_4 : ('a * 'b * 'c * 'd) -> 'd

val fst_map : ('a -> 'b) -> ('a * 'c) -> 'b * 'c

val snd_map : ('a -> 'b) -> ('c * 'a) -> 'c * 'b

val pair_map : ('a -> 'b) -> ('c -> 'd) -> ('a * 'c) -> 'b * 'd

val pair_sigle_map : ('a -> 'b) -> ('a * 'a) -> 'b * 'b

val swap : ('a * 'b) -> 'b * 'a

val pair : 'a -> 'b -> 'a * 'b

val (%>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

val foldi : ('a -> 'a) -> 'a -> int -> 'a

module Bool : sig ... end

module String : sig ... end

module Option : sig ... end

val (|?>) : 'a option -> ('a -> 'b) -> 'b option

val (|?) : 'a option -> ('a -> 'b) -> unit

module List : sig ... end

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

module Map : sig ... end

module Set = Set

module Mint : sig ... end

module Sstr : sig ... end

module Mstr : sig ... end

val norm_hex_string : string -> string

val location_to_position : Location.t -> Position.t

val get_content : string -> string

val string_to_big_int : string -> Big_int.big_int