package tezos-protocol-019-PtParisB

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Syntax for simple representations.

val log2 : _ t -> may_saturate t

val sqrt : _ t -> may_saturate t

val (+) : _ t -> _ t -> may_saturate t

val (-) : _ t -> _ t -> may_saturate t

val (*) : _ t -> _ t -> may_saturate t

val (<) : _ t -> _ t -> bool

val (=) : _ t -> _ t -> bool

val (lsr) : 'a t -> int -> 'a t

val (lsl) : 'a t -> int -> 'a t