uninterpretedSort function

Sort uninterpretedSort(
  1. String name
)

Create a free (uninterpreted) type with the given name.

Implementation

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