package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type
type kind =
  1. | Int_kind
  2. | String_kind
  3. | Bytes_kind
  4. | Prim_kind
  5. | Seq_kind
type unparsed_stack_ty = Alpha_context.Script.expr list
type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | View_name_too_long of string
type context_desc =
  1. | Lambda
  2. | View
type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Invalid_map_body : Alpha_context.Script.location * unparsed_stack_ty -> Tezos_protocol_environment_013_PtJakart.Error_monad.error
type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Invalid_iter_body : Alpha_context.Script.location * unparsed_stack_ty * unparsed_stack_ty -> Tezos_protocol_environment_013_PtJakart.Error_monad.error
type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Typechecking_too_many_recursive_calls
type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Unparsing_too_many_recursive_calls
type inconsistent_types_fast_error =
  1. | Inconsistent_types_fast
    (*

    This value is only used when the details of the error don't matter because the error will be ignored later. For example, when types are compared during the interpretation of the CONTRACT instruction any error will lead to returning None but the content of the error will be ignored.

    *)
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct