From b84b937456a7dfe2633042f0f27dd1d928608a74 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 19 Oct 2023 11:36:56 +0200 Subject: [PATCH] Proto-env: prepare for zarith bump to 1.13 --- src/lib_protocol_environment/sigs/v11.ml | 2 +- src/lib_protocol_environment/sigs/v11/z.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib_protocol_environment/sigs/v11.ml b/src/lib_protocol_environment/sigs/v11.ml index 9d80551c63ce..ae6b446a897a 100644 --- a/src/lib_protocol_environment/sigs/v11.ml +++ b/src/lib_protocol_environment/sigs/v11.ml @@ -2857,7 +2857,7 @@ val log2up: t -> int external size: t -> int = "ml_z_size" [@@noalloc] (** Returns the number of machine words used to represent the number. *) -external extract: t -> int -> int -> t = "ml_z_extract" +val extract: t -> int -> int -> t (** [extract a off len] returns a nonnegative number corresponding to bits [off] to [off]+[len]-1 of [b]. Negative [a] are considered in infinite-length 2's complement diff --git a/src/lib_protocol_environment/sigs/v11/z.mli b/src/lib_protocol_environment/sigs/v11/z.mli index bc93f0cdcd0a..9653bf7c0097 100644 --- a/src/lib_protocol_environment/sigs/v11/z.mli +++ b/src/lib_protocol_environment/sigs/v11/z.mli @@ -435,7 +435,7 @@ val log2up: t -> int external size: t -> int = "ml_z_size" [@@noalloc] (** Returns the number of machine words used to represent the number. *) -external extract: t -> int -> int -> t = "ml_z_extract" +val extract: t -> int -> int -> t (** [extract a off len] returns a nonnegative number corresponding to bits [off] to [off]+[len]-1 of [b]. Negative [a] are considered in infinite-length 2's complement -- GitLab