kdrag.hypothesis.val_of_sort

kdrag.hypothesis.val_of_sort(s: SortRef, knot_tie: tuple[SortRef, SearchStrategy[ExprRef]] | None = None, slow_generic=False) → SearchStrategy[ExprRef]

Make a search strategy of values of a given SMT sort.

Parameters: