yes

fun Struct.yes(vararg withSubstitution: Substitution): Solution.Yes

Utility function to help writing tests; it creates a Solution.Yes with receiver query and provided substitution