FuncDecl constructor

FuncDecl({ required Sym name, required FuncKind kind, required List<Parameter> parameters, required List<Sort> domain, required Sort range, })

Implementation

FuncDecl({
  required this.name,
  required this.kind,
  required this.parameters,
  required this.domain,
  required this.range,
});