getSortName function

String getSortName(
  1. Sort sort
)

Implementation

String getSortName(Sort sort) =>
    (currentContext.getSortName(sort) as StringSym).value;