kdrag.theories.univ.cast

kdrag.theories.univ.cast(s: SortRef, term: ExprRef) → ExprRef
Parameters:

  • s (SortRef)

  • term (ExprRef)

Return type:

ExprRef