diff --git a/src/lib_protocol_environment/sigs/v11.ml b/src/lib_protocol_environment/sigs/v11.ml index 9d80551c63ce864b09c561a4a57aaa450cd722e6..ae6b446a897a3fdcfad6384431ff1b29d0bf0fd6 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 bc93f0cdcd0a4018f15dd4a6c783617c1acb11c8..9653bf7c0097524a59030957337bedf1fd36b487 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