Func constructor

Func(
  1. Sym name,
  2. List<Sort> domain,
  3. Sort range
)

Implementation

Func(
  Sym name,
  List<Sort> domain,
  Sort range,
) : super(
        name: name,
        kind: FuncKind.uninterpreted,
        parameters: [],
        domain: domain,
        range: range,
      );