Custom equality for Env

Author: AlexeyRaga

src/Hedgehog.Stateful/Hedgehog.Stateful.fsproj

@@ -3,7 +3,7 @@
     <PropertyGroup>
         <TargetFramework>net8.0</TargetFramework>
         <GenerateDocumentationFile>true</GenerateDocumentationFile>
-        <Version>0.7.0-beta1</Version>
+        <Version>0.7.0-beta2</Version>
         <Description>Stateful testing for Hedgehog</Description>
         <Authors>Alexey Raga</Authors>
         <Copyright>Copyright © 2025</Copyright>

src/Hedgehog.Stateful/Types.fs

@@ -25,6 +25,7 @@ type Env = private {
 /// A symbolic variable is not yet bound to a generated value and is used to represent a value in the model before binding occurs.
 /// </summary>
 [<StructuredFormatDisplay("{DisplayText}")>]
+[<CustomEquality; CustomComparison>]
 type Var<'T> = private {
     /// <summary>
     /// The unique integer name of the variable.
@@ -127,6 +128,20 @@ Commands that use Var<T> inputs must override Require to call TryResolve and ret
     static member internal CreateSymbolic(value: 'T) : Var<'T> =
         { Name = -1; Default = Some value; Transform = unbox<'T>; ResolvedValue = None }
 
+    override this.Equals(other: obj) : bool =
+        match other with
+        | :? Var<'T> as otherVar -> this.Name = otherVar.Name
+        | _ -> false
+
+    override this.GetHashCode() : int =
+        hash this.Name
+
+    interface System.IComparable with
+        member this.CompareTo(other: obj) : int =
+            match other with
+            | :? Var<'T> as otherVar -> compare this.Name otherVar.Name
+            | _ -> invalidArg (nameof other) "Cannot compare values of different types"
+
 
 module internal Env =
     /// Empty environment