kdrag.datatype.datatype_call

kdrag.datatype.datatype_call(self: DatatypeSortRef, *args: ExprRef, **kwargs) → DatatypeRef

Enable “call” syntax for constructors of smt datatypes

>>> Point = kd.Struct("Point", ("x", smt.IntSort()), ("y", smt.IntSort()))
>>> Point(1,2)
Point(1, 2)
>>> Point(y=2, x=1)
Point(1, 2)

Parameters:

• self (DatatypeSortRef)

• args (ExprRef)

Return type:

DatatypeRef