Skip to content

Extend insert API on AST#187

Merged
sylvanc merged 1 commit intomainfrom
insert_insert
Feb 10, 2026
Merged

Extend insert API on AST#187
sylvanc merged 1 commit intomainfrom
insert_insert

Conversation

@mjp41
Copy link
Member

@mjp41 mjp41 commented Feb 10, 2026

Allow inserting a repetition of a particular node in the ast.

Allow inserting a repetition of a particular node in the ast.
@sylvanc sylvanc merged commit 66843a6 into main Feb 10, 2026
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants