archetype 1.5.0 · OCaml Package

module M = Michelson

val pp_type : 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 = [

| `Int of int
| `Code of M.code list
| `Type of M.type_

]

type stack = stack1 list

val pp_stack : 
  Ppx_deriving_runtime.Format.formatter ->
  stack ->
  Ppx_deriving_runtime.unit

val show_stack : stack -> Ppx_deriving_runtime.string

type args = arg1 list

type s_Int =

| SInt

type s_Code =

| SCode

type s_Type =

| SType

type _ targ1 =

| TInt : int -> s_Int targ1
| TCode : M.code list -> s_Code targ1
| 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

package archetype