package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
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_014_PtKathma.Error_monad.error +=
  1. | View_name_too_long of string
type context_desc =
  1. | Lambda
  2. | View
type Tezos_protocol_environment_014_PtKathma.Error_monad.error +=
  1. | Typechecking_too_many_recursive_calls
type Tezos_protocol_environment_014_PtKathma.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.