tezos-protocol-alpha.raw
Saturation_repr.Syntax
Syntax for simple representations.
tezos-protocol-alpha
tezos-protocol-alpha.environment
tezos-protocol-alpha.lifted
tezos-protocol-alpha.parameters
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