• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • archetype

  • Documentation
  • archetype lib
  • Archetype .Typing .Env .Tentry Module
package archetype
  • archetype
    • Archetype
      • Ast
        • Utils
      • Binding
      • Compile
      • Core
        • Format
      • Error
      • Extract_w
        • MapString
      • Gen_api_storage
      • Gen_contract_interface
      • 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
          • Import
          • Label
          • Local
          • Predicate
          • Record
          • State
          • Tentry
          • Type
          • Var
        • Micheline
        • SecurityPred
        • Type
          • Michelson
      • UF
        • UF
Legend:
Library
Module
Module type
Parameter
Class
Class type
val lookup : t -> Ident.ident -> t tentrydecl option
val get : t -> Ident.ident -> t tentrydecl
val exists : t -> Ident.ident -> bool
val push : t -> t tentrydecl -> t

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct