synthphonia::backward

Module liststr

Source
Expand description

Deduction for list of strings

Structs§

ListDeducer
Represents a deduction strategy for list transformation synthesis using an optional mapping configuration.

Functions§

subseq_test 🔒