package tezos-protocol-011-PtHangz2
type unparsed_stack_ty =
(Alpha_context.Script.expr * Alpha_context.Script.annot) listtype type_map = (int * (unparsed_stack_ty * unparsed_stack_ty)) listtype Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_arity of Alpha_context.Script.location * Alpha_context.Script.prim * int * int
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_seq_arity of Alpha_context.Script.location * int * int
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_primitive of Alpha_context.Script.location * Alpha_context.Script.prim list * Alpha_context.Script.prim
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_kind of Alpha_context.Script.location * kind list * kind
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_never_expr of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Missing_field of Alpha_context.Script.prim
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Duplicate_field of Alpha_context.Script.location * Alpha_context.Script.prim
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_lazy_storage of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_operation of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_contract of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unreachable_entrypoint of Alpha_context.Script.prim list
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Fail_not_in_tail_position of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Bad_view_name of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Ill_typed_view of {loc : Alpha_context.Script.location;actual : unparsed_stack_ty;expected : unparsed_stack_ty;
}
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Duplicated_view_name of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Self_in_lambda of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Inconsistent_type_annotations : Alpha_context.Script.location * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_annotation of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Ungrouped_annotations of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_map_block_fail of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Type_too_large : Alpha_context.Script.location * int -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Pair_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unpair_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Dup_n_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Dup_n_bad_stack of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_syntactic_constant : Alpha_context.Script.location * Alpha_context.Script.expr * string -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_contract of Alpha_context.Script.location * Alpha_context.Contract.t
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Invalid_big_map of Alpha_context.Script.location * Alpha_context.Big_map.Id.t
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Comparable_type_expected : Alpha_context.Script.location * Alpha_context.Script.expr -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Inconsistent_type_sizes : int * int -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Inconsistent_types : Alpha_context.Script.location option * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unordered_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unordered_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Duplicate_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Duplicate_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Ill_typed_data : string option * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Ill_formed_type of string option * Alpha_context.Script.expr * Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Ill_typed_contract : Alpha_context.Script.expr * type_map -> Tezos_protocol_environment_011_PtHangz2.Error_monad.error
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Deprecated_instruction of Alpha_context.Script.prim
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_ticket of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Unexpected_forged_value of Alpha_context.Script.location
type Tezos_protocol_environment_011_PtHangz2.Error_monad.error += | Non_dupable_type of Alpha_context.Script.location * Alpha_context.Script.expr