kdrag.AStruct

kdrag.AStruct(**kwargs) → DatatypeSortRef

Build an anonymous struct type with the given key types. >>> S = AStruct(a=smt.IntSort(), b=smt.BoolSort()) >>> s = S(a=42, b=True)