Interface FuncInterp<Name>

Readonlyctx

Readonlyptr

addEntry

• addEntry(
      args: Expr<Name, AnySort<Name>, unknown>[],
      value: Expr<Name, AnySort<Name>, unknown>,
  ): void

• Parameters

  • args: Expr<Name, AnySort<Name>, unknown>[]
  • value: Expr<Name, AnySort<Name>, unknown>

  Returns void

arity

• arity(): number

• Returns number

elseValue

• elseValue(): Expr<Name, AnySort<Name>, unknown>

• Returns Expr<Name, AnySort<Name>, unknown>

entry

• entry(i: number): FuncEntry<Name>

• Parameters

  • i: number

  Returns FuncEntry<Name>

numEntries

• numEntries(): number

• Returns number