diff options
Diffstat (limited to 'src/Values.ml')
| -rw-r--r-- | src/Values.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/Values.ml b/src/Values.ml index 57a0aeb0..cb8a1200 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -17,18 +17,6 @@ module AbstractionId = IdGen () module RegionId = IdGen () -(* TODO: move? *) -type var = { - index : VarId.id; (** Unique variable identifier *) - name : string option; - var_ty : ety; - (** The variable type - erased type, because variables are not used - ** in function signatures - TODO: useless? TODO: binder type for - function definitions *) -} -[@@deriving show] -(** A variable, as used in a type definition *) - (** A variable *) type big_int = Z.t |