kdrag.contrib.expr.Consts

kdrag.contrib.expr.Consts(names: str, sort: SortRef) → list[ExprRef]

Parameters:

• names (str)

• sort (SortRef)

Return type:

list[ExprRef]