kdrag.notation.datatype_call

kdrag.notation.datatype_call(self, *args)

Enable “call” syntax for constructors of smt datatypes