Interface FuncDeclCreation<Name>

Part of Context. Used to declare functions

interface FuncDeclCreation<Name extends string> {
    declare<DomainSort extends Sort<Name>[], RangeSort extends Sort<Name>>(
        name: string,
        ...signature: [...DomainSort[], RangeSort],
    ): FuncDecl<Name, DomainSort, RangeSort>;
    fresh<DomainSort extends Sort<Name>[], RangeSort extends Sort<Name>>(
        ...signature: [...DomainSort[], RangeSort],
    ): FuncDecl<Name, DomainSort, RangeSort>;
}

Methods

declare<DomainSort extends Sort<Name>[], RangeSort extends Sort<Name>>(
name: string,
...signature: [...DomainSort[], RangeSort],
): FuncDecl<Name, DomainSort, RangeSort>
Declare a new function
```
const f = ctx.Function.declare('f', ctx.Bool.sort(), ctx.Real.sort(), ctx.Int.sort())

f.call(true, "1/3").eq(5)
// f(true, 1/3) == 5
```
Type Parameters
- DomainSort extends Sort<Name>[]
- RangeSort extends Sort<Name>
Parameters
- name: string
  Name of the function
- ...signature: [...DomainSort[], RangeSort]
  The domains, and last parameter - the range of the function
Returns FuncDecl<Name, DomainSort, RangeSort>
- Defined in src/high-level/types.ts:1780

fresh<DomainSort extends Sort<Name>[], RangeSort extends Sort<Name>>(
...signature: [...DomainSort[], RangeSort],
): FuncDecl<Name, DomainSort, RangeSort>
Type Parameters
- DomainSort extends Sort<Name>[]
- RangeSort extends Sort<Name>
Parameters
- ...signature: [...DomainSort[], RangeSort]
Returns FuncDecl<Name, DomainSort, RangeSort>
- Defined in src/high-level/types.ts:1785