package tezos-protocol-012-Psithaca

  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 * Alpha_context.Script.annot) list
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | No_such_entrypoint of string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Duplicate_entrypoint of string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Entrypoint_name_too_long of string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | View_name_too_long of string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Inconsistent_annotations of string * string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Inconsistent_field_annotations of string * string
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Typechecking_too_many_recursive_calls
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Unparsing_too_many_recursive_calls
type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Unparsing_invariant_violated