getSortName function

String getSortName(
  1. Sort sort
)

Get the name of a Sort.

Implementation

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