package tezos-protocol-003-PsddFKi3
Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Script_tc_errors/index.html
Module Tezos_raw_protocol_003_PsddFKi3.Script_tc_errorsSource
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_arity of Alpha_context.Script.location * Alpha_context.Script.prim * int * int
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_namespace of Alpha_context.Script.location * Alpha_context.Script.prim * namespace * namespace
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_primitive of Alpha_context.Script.location * Alpha_context.Script.prim list * Alpha_context.Script.prim
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_kind of Alpha_context.Script.location * kind list * kind
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Missing_field of Alpha_context.Script.prim
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Duplicate_field of Alpha_context.Script.location * Alpha_context.Script.prim
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Unexpected_big_map of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Unexpected_operation of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Fail_not_in_tail_position of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Self_in_lambda of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Inconsistent_type_annotations : Alpha_context.Script.location * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_003_PsddFKi3.Error_monad.error
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Unexpected_annotation of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Ungrouped_annotations of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_map_block_fail of Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Type_too_large : Alpha_context.Script.location * int * int -> Tezos_protocol_environment_003_PsddFKi3.Error_monad.error
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_contract of Alpha_context.Script.location * Alpha_context.Contract.t
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Comparable_type_expected : Alpha_context.Script.location * Alpha_context.Script.expr -> Tezos_protocol_environment_003_PsddFKi3.Error_monad.error
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Unordered_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Unordered_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Duplicate_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Duplicate_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Ill_typed_data : string option * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_003_PsddFKi3.Error_monad.error
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Ill_formed_type of string option * Alpha_context.Script.expr * Alpha_context.Script.location
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Ill_typed_contract : Alpha_context.Script.expr * type_map -> Tezos_protocol_environment_003_PsddFKi3.Error_monad.error