Skip to content

refactor: extract quantifier_operator_kind helper#240

Merged
zharinov merged 1 commit intomasterfrom
refactor/extract-quantifier-helper
Jan 4, 2026
Merged

refactor: extract quantifier_operator_kind helper#240
zharinov merged 1 commit intomasterfrom
refactor/extract-quantifier-helper

Commits

Commits on Jan 4, 2026