Module Tezos_raw_protocol_alpha.Script_tc_errors

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_alpha.Error_monad.error +=
  1. | Forbidden_zero_ticket_quantity
type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | View_name_too_long of string
type context_desc =
  1. | Lambda
  2. | View
type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Typechecking_too_many_recursive_calls
type Tezos_protocol_environment_alpha.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.

    *)