Type Alias SimpleApplication

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