package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type contract = t
include Tezos_protocol_environment_002_PsYLVpVv.Compare.S with type t := contract
val (=) : contract -> contract -> bool
val (<>) : contract -> contract -> bool
val (<) : contract -> contract -> bool
val (<=) : contract -> contract -> bool
val (>=) : contract -> contract -> bool
val (>) : contract -> contract -> bool
val compare : contract -> contract -> int
val equal : contract -> contract -> bool
val max : contract -> contract -> contract
val min : contract -> contract -> contract

Implicit contracts

****************************************************

Originated contracts

*************************************************

type origination_nonce

Originated contracts handles are crafted from the hash of the operation that triggered their origination (and nothing else). As a single operation can trigger several originations, the corresponding handles are forged from a deterministic sequence of nonces, initialized with the hash of the operation.

val originated_contract : origination_nonce -> contract
val originated_contracts : since:origination_nonce -> until:origination_nonce -> contract list
val incr_origination_nonce : origination_nonce -> origination_nonce
val is_originated : contract -> Contract_hash.t option

Human readable notation

**********************************************

type Tezos_protocol_environment_002_PsYLVpVv.Error_monad.error +=
  1. | Invalid_contract_notation of string
val to_b58check : contract -> string

Serializers

**********************************************************

module Index : sig ... end
OCaml

Innovation. Community. Security.