kdrag.cast.cast

kdrag.cast.cast(s: SortRef, e: object) → ExprRef
Parameters:

  • s (SortRef)

  • e (object)

Return type:

ExprRef