setOnLemma method

void setOnLemma(
  1. void f(
    1. AST,
    2. int level
    )?
)

Registers a callback for lemmas.

Implementation

void setOnLemma(void Function(AST, int level)? f) {
  final wasNull = _areLemmaCallbacksNull;
  _onLemma = f;
  _updateCallbacks(wasNull);
}