kdrag.contrib.expr.Const

kdrag.contrib.expr.Const(name: str, sort: SortRef, ctx=None) → ExprRef

Parameters:

• name (str)

• sort (SortRef)

Return type:

ExprRef