stp.SortKind

class stp.SortKind(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

BOOL = 0

BV = 1

FP = 2

RM = 3

REAL = 4

ARRAY = 5

FUN = 6

UNINTERPRETED = 7