getSort<A extends Sort> function

A getSort<A extends Sort>(
  1. Expr value
)

Implementation

A getSort<A extends Sort>(Expr value) => currentContext.getSort(value) as A;