kdrag.datatype.Enum

kdrag.datatype.Enum(name: str, args: str | list[str]) → DatatypeSortRef

Shorthand for simple enumeration datatypes. Similar to python’s Enum. >>> Color = Enum(“Color”, “Red Green Blue”) >>> smt.And(Color.Red != Color.Green, Color.Red != Color.Blue) And(Red != Green, Red != Blue)

Parameters:

• name (str)

• args (str | list[str])

Return type:

DatatypeSortRef