kdrag.theories.fixed.FixedSort

kdrag.theories.fixed.FixedSort(bvsize: int, exp: int) → DatatypeSortRef

>>> FixedSort(64, 0)
Fixed_64_0

Parameters:

• bvsize (int)

• exp (int)

Return type:

DatatypeSortRef