finiteDomainSort function

FiniteDomainSort finiteDomainSort(String name, int size)

Implementation

FiniteDomainSort finiteDomainSort(String name, int size) =>
    FiniteDomainSort(Sym(name), size).declare();