func function

Func func(
  1. String name,
  2. Iterable<Sort> domain,
  3. Sort range
)

Declare an uninterpreted function with the given name, domain, and range.

Implementation

Func func(String name, Iterable<Sort> domain, Sort range) =>
    Func(Sym(name), domain.toList(), range).declare();