package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-003-PsddFKi3.environment/Tezos_protocol_environment_003_PsddFKi3/Int64/index.html

Module Tezos_protocol_environment_003_PsddFKi3.Int64Source

Sourceval zero : int64
Sourceval one : int64
Sourceval minus_one : int64
Sourceval neg : int64 -> int64
Sourceval add : int64 -> int64 -> int64
Sourceval sub : int64 -> int64 -> int64
Sourceval mul : int64 -> int64 -> int64
Sourceval div : int64 -> int64 -> int64
Sourceval rem : int64 -> int64 -> int64
Sourceval succ : int64 -> int64
Sourceval pred : int64 -> int64
Sourceval abs : int64 -> int64
Sourceval max_int : int64
Sourceval min_int : int64
Sourceval logand : int64 -> int64 -> int64
Sourceval logor : int64 -> int64 -> int64
Sourceval logxor : int64 -> int64 -> int64
Sourceval lognot : int64 -> int64
Sourceval shift_left : int64 -> int -> int64
Sourceval shift_right : int64 -> int -> int64
Sourceval shift_right_logical : int64 -> int -> int64
Sourceval of_int : int -> int64
Sourceval to_int : int64 -> int
Sourceval of_float : float -> int64
Sourceval to_float : int64 -> float
Sourceval of_int32 : int32 -> int64
Sourceval to_int32 : int64 -> int32
Sourceval of_nativeint : nativeint -> int64
Sourceval to_nativeint : int64 -> nativeint
Sourceval of_string : string -> int64
Sourceval of_string_opt : string -> int64 option
Sourceval to_string : int64 -> string
Sourceval bits_of_float : float -> int64
Sourceval float_of_bits : int64 -> float
Sourcetype t = int64
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
OCaml

Innovation. Community. Security.