package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.MtypingSource

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct