tezos-protocol-008-PtEdo2Zk 12.3

type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=

| Unknown_primitive_name of string

type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=

| Invalid_case of string

type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=

| Invalid_primitive_name of string Tezos_micheline.Micheline.canonical * int

type prim =

| K_parameter
| K_storage
| K_code
| D_False
| D_Elt
| D_Left
| D_None
| D_Pair
| D_Right
| D_Some
| D_True
| D_Unit
| I_PACK
| I_UNPACK
| I_BLAKE2B
| I_SHA256
| I_SHA512
| I_ABS
| I_ADD
| I_AMOUNT
| I_AND
| I_BALANCE
| I_CAR
| I_CDR
| I_CHAIN_ID
| I_CHECK_SIGNATURE
| I_COMPARE
| I_CONCAT
| I_CONS
| I_CREATE_ACCOUNT
| I_CREATE_CONTRACT
| I_IMPLICIT_ACCOUNT
| I_DIP
| I_DROP
| I_DUP
| I_EDIV
| I_EMPTY_BIG_MAP
| I_EMPTY_MAP
| I_EMPTY_SET
| I_EQ
| I_EXEC
| I_APPLY
| I_FAILWITH
| I_GE
| I_GET
| I_GET_AND_UPDATE
| I_GT
| I_HASH_KEY
| I_IF
| I_IF_CONS
| I_IF_LEFT
| I_IF_NONE
| I_INT
| I_LAMBDA
| I_LE
| I_LEFT
| I_LEVEL
| I_LOOP
| I_LSL
| I_LSR
| I_LT
| I_MAP
| I_MEM
| I_MUL
| I_NEG
| I_NEQ
| I_NIL
| I_NONE
| I_NOT
| I_NOW
| I_OR
| I_PAIR
| I_UNPAIR
| I_PUSH
| I_RIGHT
| I_SIZE
| I_SOME
| I_SOURCE
| I_SENDER
| I_SELF
| I_SELF_ADDRESS
| I_SLICE
| I_STEPS_TO_QUOTA
| I_SUB
| I_SWAP
| I_TRANSFER_TOKENS
| I_SET_DELEGATE
| I_UNIT
| I_UPDATE
| I_XOR
| I_ITER
| I_LOOP_LEFT
| I_ADDRESS
| I_CONTRACT
| I_ISNAT
| I_CAST
| I_RENAME
| I_SAPLING_EMPTY_STATE
| I_SAPLING_VERIFY_UPDATE
| I_DIG
| I_DUG
| I_NEVER
| I_VOTING_POWER
| I_TOTAL_VOTING_POWER
| I_KECCAK
| I_SHA3
| I_PAIRING_CHECK
| I_TICKET
| I_READ_TICKET
| I_SPLIT_TICKET
| I_JOIN_TICKETS
| T_bool
| T_contract
| T_int
| T_key
| T_key_hash
| T_lambda
| T_list
| T_map
| T_big_map
| T_nat
| T_option
| T_or
| T_pair
| T_set
| T_signature
| T_string
| T_bytes
| T_mutez
| T_timestamp
| T_unit
| T_operation
| T_address
| T_sapling_transaction
| T_sapling_state
| T_chain_id
| T_never
| T_bls12_381_g1
| T_bls12_381_g2
| T_bls12_381_fr
| T_ticket

type namespace =

| Type_namespace
| Constant_namespace
| Instr_namespace
| Keyword_namespace

Auxiliary types for error documentation. All the prim constructor prefixes must match their namespace.

val namespace : prim -> namespace

val prim_encoding : prim Data_encoding.t

val string_of_prim : prim -> string

val prim_of_string : 
  string ->
  (prim,
    Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list)
    Stdlib.result

val prims_of_strings : 
  string Tezos_micheline.Micheline.canonical ->
  (prim Tezos_micheline.Micheline.canonical,
    Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list)
    Stdlib.result

val strings_of_prims : 
  prim Tezos_micheline.Micheline.canonical ->
  string Tezos_micheline.Micheline.canonical

val string_of_namespace : namespace -> string

The string corresponds to the constructor prefix from the given namespace (i.e. "T", "D", "I" or "K")

package tezos-protocol-008-PtEdo2Zk