From 67ac4d8f5ca8f7cb9fd7c7d90e3bf43a5be64292 Mon Sep 17 00:00:00 2001
From: Marco Stronati <marco@stronati.org>
Date: Sun, 4 Feb 2018 17:06:59 +0100
Subject: [PATCH] Protocol: change external to val in zarith protocol env

---
 src/lib_protocol_environment_sigs/v1/z.mli | 36 +++++++++++-----------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/src/lib_protocol_environment_sigs/v1/z.mli b/src/lib_protocol_environment_sigs/v1/z.mli
index 50c025596..8a47c028b 100644
--- a/src/lib_protocol_environment_sigs/v1/z.mli
+++ b/src/lib_protocol_environment_sigs/v1/z.mli
@@ -13,19 +13,19 @@ type t
 val zero: t
 val one: t
 
-external abs: t -> t = "ml_z_abs" "ml_as_z_abs"
+val abs: t -> t
 (** Absolute value. *)
 
-external neg: t -> t = "ml_z_neg" "ml_as_z_neg"
+val neg: t -> t
 (** Unary negation. *)
 
-external add: t -> t -> t = "ml_z_add" "ml_as_z_add"
+val add: t -> t -> t
 (** Addition. *)
 
-external sub: t -> t -> t = "ml_z_sub" "ml_as_z_sub"
+val sub: t -> t -> t
 (** Subtraction. *)
 
-external mul: t -> t -> t = "ml_z_mul" "ml_as_z_mul"
+val mul: t -> t -> t
 (** Multiplication. *)
 
 val ediv_rem: t -> t -> (t * t)
@@ -34,27 +34,27 @@ val ediv_rem: t -> t -> (t * t)
     Raises [Division_by_zero] if [b = 0].
 *)
 
-external logand: t -> t -> t = "ml_z_logand" "ml_as_z_logand"
+val logand: t -> t -> t
 (** Bitwise logical and. *)
 
-external logor: t -> t -> t = "ml_z_logor" "ml_as_z_logor"
+val logor: t -> t -> t
 (** Bitwise logical or. *)
 
-external logxor: t -> t -> t = "ml_z_logxor" "ml_as_z_logxor"
+val logxor: t -> t -> t
 (** Bitwise logical exclusive or. *)
 
-external lognot: t -> t = "ml_z_lognot" "ml_as_z_lognot"
+val lognot: t -> t
 (** Bitwise logical negation.
     The identity [lognot a]=[-a-1] always hold.
 *)
 
-external shift_left: t -> int -> t = "ml_z_shift_left" "ml_as_z_shift_left"
+val shift_left: t -> int -> t
 (** Shifts to the left.
     Equivalent to a multiplication by a power of 2.
     The second argument must be non-negative.
 *)
 
-external shift_right: t -> int -> t = "ml_z_shift_right" "ml_as_z_shift_right"
+val shift_right: t -> int -> t
 (** Shifts to the right.
     This is an arithmetic shift,
     equivalent to a division by a power of 2 with rounding towards -oo.
@@ -64,22 +64,22 @@ external shift_right: t -> int -> t = "ml_z_shift_right" "ml_as_z_shift_right"
 val to_string: t -> string
 val of_string: string -> t
 
-external to_int64: t -> int64 = "ml_z_to_int64"
+val to_int64: t -> int64
 (** Converts to a 64-bit integer. May raise [Overflow]. *)
 
-external of_int64: int64 -> t = "ml_z_of_int64"
+val of_int64: int64 -> t
 (** Converts from a 64-bit integer. *)
 
-external to_int: t -> int = "ml_z_to_int"
+val to_int: t -> int
 (** Converts to a base integer. May raise an [Overflow]. *)
 
-external of_int: int -> t = "ml_z_of_int" [@@ noalloc]
+val of_int: int -> t
 (** Converts from a base integer. *)
 
-external equal: t -> t -> bool = "ml_z_equal" [@@ noalloc]
-external compare: t -> t -> int = "ml_z_compare" [@@ noalloc]
+val equal: t -> t -> bool
+val compare: t -> t -> int
 
-external numbits: t -> int = "ml_z_numbits" [@@ noalloc]
+val numbits: t -> int
 (** Returns the number of significant bits in the given number.
     If [x] is zero, [numbits x] returns 0.  Otherwise,
     [numbits x] returns a positive integer [n] such that