kdrag.astruct

kdrag.astruct(**kwargs) → DatatypeRef

Build an anonymous struct value with the given key values. >>> s = astruct(a=42, b=True) >>> smt.simplify(s.a) 42