Type Alias SimpleApplication

SimpleApplication: (args: TermExpression[]) => TermExpression

Type declaration

- (args: TermExpression[]): TermExpression
- Parameters
  - args: TermExpression[]
  Returns TermExpression