diff options
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/Values.ml b/src/Values.ml index ba5c7628..e1205efc 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -10,7 +10,7 @@ type var = { (** The variable type - erased type, because variables are not used ** in function signatures *) } -[@@deriving yojson] + (** A variable *) type big_int = Z.t @@ -41,11 +41,9 @@ type scalar_value = | U32 of big_int | U64 of big_int | U128 of big_int -[@@deriving yojson] type constant_value = | Scalar of scalar_value | Bool of bool | Char of char | String of string -[@@deriving yojson] |