diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 330f22d3..c7a79eae 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -17,6 +17,7 @@ module AbstractionId = IdGen () module RegionId = IdGen () +(* TODO: move *) type var = { index : VarId.id; (** Unique variable identifier *) name : string option; @@ -26,6 +27,7 @@ type var = { function definitions *) } [@@deriving show] +(** A variable, as used in a type definition *) (** A variable *) |