(*
   --------------------------------------------------------------------------
   title: Basic Instance Example
   description: Finding concrete examples that satisfy properties
   order: 3
   --------------------------------------------------------------------------

   Concept: Finding concrete examples

   Shows how to use `instance` to find specific input values that satisfy a
   property. Here we search for two numbers that sum to 10.

   Expected: Instance found with `x = 10, y = 0` ✅

   ============================================================================ *)

let add (x : int) (y : int) : int = x + y

instance (fun x y -> add x y = 10)
