package archetype

  1. Overview
  2. Docs
module M = Michelson
val pp_type : Stdlib.Format.formatter -> Michelson.type_ -> unit
module Env : sig ... end
type env = Env.t
type stack1 = M.type_
val pp_stack1 : Ppx_deriving_runtime.Format.formatter -> stack1 -> Ppx_deriving_runtime.unit
val show_stack1 : stack1 -> Ppx_deriving_runtime.string
type arg1 = [
  1. | `Int of int
  2. | `Code of M.code list
  3. | `Type of M.type_
]
type stack = stack1 list
val pp_stack : Ppx_deriving_runtime.Format.formatter -> stack -> Ppx_deriving_runtime.unit
type args = arg1 list
type s_Int =
  1. | SInt
type s_Code =
  1. | SCode
type s_Type =
  1. | SType
type _ targ1 =
  1. | TInt : int -> s_Int targ1
  2. | TCode : M.code list -> s_Code targ1
  3. | TType : M.type_ -> s_Type targ1
exception MichelsonTypingError
module Ty : sig ... end
module Stack : sig ... end
val op_ABS : stack -> stack option
val op_ADD : stack -> stack option
val op_ADDRESS : stack -> stack option
val op_AMOUNT : stack -> stack option
val op_AND : stack -> stack option
val op_APPLY : stack -> stack option
val op_BALANCE : stack -> stack option
val op_BLAKE2B : stack -> stack option
val op_CAR : stack -> stack option
val op_CDR : stack -> stack option
val op_CHAIN_ID : stack -> stack option
val op_CHECK_SIGNATURE : stack -> stack option
val op_COMPARE : stack -> stack option
val op_CONCAT : stack -> stack option
val op_CONS : stack -> stack option
val op_CONTRACT : stack -> stack1 -> stack option
val op_CREATE_CONTRACT : stack -> stack option
val op_DIG : stack -> int -> stack option
val op_DIP : env -> stack -> int -> M.code list -> stack option
val op_DROP : stack -> int -> stack option
val op_DUG : stack -> int -> stack option
val op_DUP : stack -> stack option
val op_DUP_N : stack -> int -> stack option
val op_EDIV : stack -> stack option
val op_EMIT : stack -> stack option
val op_EMPTY_BIG_MAP : stack -> stack1 -> stack1 -> stack option
val op_EMPTY_MAP : stack -> stack1 -> stack1 -> stack option
val op_EQ : stack -> stack option
val op_EXEC : stack -> stack option
val op_FAILWITH : stack -> stack option
val op_GE : stack -> stack option
val op_GET : stack -> stack option
val op_GET_N : stack -> int -> stack option
val op_GET_AND_UPDATE : stack -> stack option
val op_GT : stack -> stack option
val op_HASH_KEY : stack -> stack option
val op_IF : env -> stack -> M.code list -> M.code list -> stack option
val op_IF_CONS : env -> stack -> M.code list -> M.code list -> stack option
val op_IF_LEFT : env -> stack -> M.code list -> M.code list -> stack option
val op_IF_NONE : env -> stack -> M.code list -> M.code list -> stack option
val op_IMPLICIT_ACCOUNT : stack -> stack option
val op_NAT : stack -> stack option
val op_INT : stack -> stack option
val op_BYTES : stack -> stack option
val op_ISNAT : stack -> stack option
val op_ITER : env -> stack -> M.code list -> stack option
val op_JOIN_TICKETS : stack -> stack option
val op_KECCAK : stack -> stack option
val op_LAMBDA : env -> stack -> stack1 -> stack1 -> M.code list -> stack option
val op_LE : stack -> stack option
val op_LT : stack -> stack option
val op_LEFT : stack -> stack1 -> stack option
val op_LEVEL : stack -> stack option
val op_MIN_BLOCK_TIME : stack -> stack option
val op_LOOP : env -> stack -> M.code list -> stack option
val op_LOOP_LEFT : env -> stack -> M.code list -> stack option
val op_LSL : stack -> stack option
val op_LSR : stack -> stack option
val op_MAP : env -> stack -> M.code list -> stack option
val op_MEM : stack -> stack option
val op_MUL : stack -> stack option
val op_NEVER : stack -> stack option
val op_NIL : stack -> stack1 -> stack option
val op_NEG : stack -> stack option
val op_NEQ : stack -> stack option
val op_NONE : stack -> stack1 -> stack option
val op_NOT : stack -> stack option
val op_NOW : stack -> stack option
val op_OR : stack -> stack option
val op_OPEN_CHEST : stack -> stack option
val op_PACK : stack -> stack option
val op_PAIR : stack -> stack option
val op_PAIR_N : stack -> int -> stack option
val op_PAIRING_CHECK : stack -> stack option
val op_PUSH : stack -> (stack1 * M.data) -> stack option
val op_READ_TICKET : stack -> stack option
val op_RIGHT : stack -> stack1 -> stack option
val op_SAPLING_EMPTY_STATE : stack -> int -> stack option
val op_SAPLING_VERIFY_UPDATE : stack -> stack option
val op_SELF : env -> stack -> Ident.ident option -> stack option
val op_SELF_ADDRESS : stack -> stack option
val op_SENDER : stack -> stack option
val op_SET : stack -> stack1 -> stack option
val op_SET_DELEGATE : stack -> stack option
val op_SHA256 : stack -> stack option
val op_SHA512 : stack -> stack option
val op_SHA3 : stack -> stack option
val op_SIZE : stack -> stack option
val op_SLICE : stack -> stack option
val op_SOME : stack -> stack option
val op_SOURCE : stack -> stack option
val op_SPLIT_TICKET : stack -> stack option
val op_SWAP : stack -> stack option
val op_SUB : stack -> stack option
val op_SUB_MUTEZ : stack -> stack option
val op_TICKET : stack -> stack option
val op_TOTAL_VOTING_POWER : stack -> stack option
val op_TRANSFER_TOKENS : stack -> stack option
val op_UNIT : stack -> stack option
val op_UNPACK : stack -> stack1 -> stack option
val op_UNPAIR : stack -> stack option
val op_UNPAIR_N : stack -> int -> stack option
val op_UPDATE : stack -> stack option
val op_UPDATE_N : stack -> int -> stack option
val op_VIEW : stack -> stack1 -> stack option
val op_VOTING_POWER : stack -> stack option
val op_XOR : stack -> stack option
val tycheck_r : env -> stack -> M.code_node -> stack option
val tycheck : env -> stack -> M.code -> stack option
OCaml

Innovation. Community. Security.