Class: Udb::TypeConstraint

Inherits:
T::Struct
  • Object
show all
Defined in:
lib/udb/z3.rb

Overview

Encapsulates a type constraint callback for validating array items

This struct holds a method reference and its associated JSON schema, allowing lazy evaluation of type constraints on array elements. The method is called with the solver, a Z3 term, and the schema to generate constraint assertions.