uninterpretedSort function

Sort uninterpretedSort(
  1. String name
)

Implementation

Sort uninterpretedSort(String name) => UninterpretedSort(Sym(name)).declare();